Package io.github.cvc5
Class OptionInfo.ModeInfo
- java.lang.Object
-
- io.github.cvc5.OptionInfo.BaseInfo
-
- io.github.cvc5.OptionInfo.ValueInfo<java.lang.String>
-
- io.github.cvc5.OptionInfo.ModeInfo
-
- Enclosing class:
- OptionInfo
public class OptionInfo.ModeInfo extends OptionInfo.ValueInfo<java.lang.String>
-
-
Constructor Summary
Constructors Constructor Description ModeInfo(java.lang.String defaultValue, java.lang.String currentValue, java.lang.String[] modes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String[]
getModes()
-
Methods inherited from class io.github.cvc5.OptionInfo.ValueInfo
getCurrentValue, getDefaultValue
-
-