edu.ucla.util.code
Class ModelCoder.LibraryVersionOption
Object
AbstractCodeOption
ModelCoder.LibraryVersionOption
- All Implemented Interfaces:
- CodeOption
- Enclosing class:
- ModelCoder
public static final class ModelCoder.LibraryVersionOption
- extends AbstractCodeOption
IL1
public final CodeOptionValue IL1
IL2
public final CodeOptionValue IL2
BOTH
public final CodeOptionValue BOTH
ARRAY_VALUES
public final CodeOptionValue[] ARRAY_VALUES
ModelCoder.LibraryVersionOption
public ModelCoder.LibraryVersionOption()
describe
public String describe()
getHelpText
public String getHelpText()
getDefault
public CodeOptionValue getDefault()
- Specified by:
getDefault
in interface CodeOption
- Overrides:
getDefault
in class AbstractCodeOption
getValues
public CodeOptionValue[] getValues()
- Specified by:
getValues
in interface CodeOption
- Overrides:
getValues
in class AbstractCodeOption
Copyright 2010 UCLA Automated Reasoning Group