Package io.github.cvc5
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 Summary
Constructors Constructor Description VoidInfo()
-