Class OptionInfo.VoidInfo

java.lang.Object
io.github.cvc5.OptionInfo.BaseInfo
io.github.cvc5.OptionInfo.VoidInfo
Enclosing class:
OptionInfo

public class OptionInfo.VoidInfo extends OptionInfo.BaseInfo
Has no value information
  • Constructor Details

    • VoidInfo

      public VoidInfo()
      Construct a new VoidInfo.