Package io.github.cvc5
Class OptionInfo.VoidInfo
java.lang.Object
io.github.cvc5.OptionInfo.BaseInfo
io.github.cvc5.OptionInfo.VoidInfo
- Enclosing class:
OptionInfo
Has no value information
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
VoidInfo
public VoidInfo()Construct a new VoidInfo.
-