io.github.cvc5

Class OptionInfo.ModeInfo

java.lang.Object

io.github.cvc5.OptionInfo.BaseInfo

io.github.cvc5.OptionInfo.ValueInfo<String>

io.github.cvc5.OptionInfo.ModeInfo

Enclosing class:

OptionInfo

public class OptionInfo.ModeInfo
extends OptionInfo.ValueInfo<String>

Constructor Summary

Constructors

Constructor and Description
ModeInfo(String defaultValue, String currentValue, String[] modes)

Method Summary

Modifier and Type	Method and Description
String[]	getModes()

Methods inherited from class io.github.cvc5.OptionInfo.ValueInfo

getCurrentValue, getDefaultValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModeInfo

public ModeInfo(String defaultValue,
                String currentValue,
                String[] modes)

Method Detail

getModes

public String[] getModes()