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>

Information for mode option values.

Constructor Summary

Constructors

Constructor

Description

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

Constructs a ModeInfo instance with the specified default value, current value, and available mode options.
Method Summary

Modifier and Type

Method

Description

String[]

getModes()

Get the list of valid mode values.

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 Details
- ModeInfo
  
  public ModeInfo(String defaultValue, String currentValue, String[] modes)
  
  Constructs a ModeInfo instance with the specified default value, current value, and available mode options.
  
  Parameters:
  
  defaultValue - The default value.
  
  currentValue - The current value.
  
  modes - The possible mode values.
Method Details
- getModes
  
  public String[] getModes()
  
  Get the list of valid mode values.
  
  Returns:
  
  An array of available mode options.