Package io.github.cvc5
Class OptionInfo.BaseInfo
- java.lang.Object
-
- io.github.cvc5.OptionInfo.BaseInfo
-
- Direct Known Subclasses:
OptionInfo.ValueInfo
,OptionInfo.VoidInfo
- Enclosing class:
- OptionInfo
public abstract class OptionInfo.BaseInfo extends java.lang.Object
Abstract class for OptionInfo values
-
-
Constructor Summary
Constructors Constructor Description BaseInfo()
-