Uses of Class
korat.config.MyOption

Packages that use MyOption

korat.config

Uses of MyOption in korat.config

Fields in korat.config declared as MyOption

static MyOption	ConfigLoader.ARGS
static MyOption	ConfigLoader.CLZ
static MyOption	ConfigLoader.CONFIG_FILE
static MyOption	ConfigLoader.CV_DELTA
static MyOption	ConfigLoader.CV_END
static MyOption	ConfigLoader.CV_EXPECTED
static MyOption	ConfigLoader.CV_FILE
static MyOption	ConfigLoader.CV_FULL_FORMAT_RATIO
static MyOption	ConfigLoader.CV_START
static MyOption	ConfigLoader.CV_WRITE
static MyOption	ConfigLoader.CV_WRITE_NUM
static MyOption	ConfigLoader.DUMP_BYTECODES
static MyOption	ConfigLoader.EXCLUDE_PACKAGES
static MyOption	ConfigLoader.FINITIZATION
static MyOption	ConfigLoader.HELP
static MyOption	ConfigLoader.LISTENERS
static MyOption	ConfigLoader.MAX_STRUCT
static MyOption	ConfigLoader.PREDICATE
static MyOption	ConfigLoader.PRINT
static MyOption	ConfigLoader.PRINT_CAND_VECTS
static MyOption	ConfigLoader.PROGRESS
static MyOption	ConfigLoader.SERIALIZE
static MyOption	ConfigLoader.VISUALIZE

Methods in korat.config with parameters of type MyOption

private boolean	ConfigLoader.getFlagOption(MyOption opt)
private int	ConfigLoader.getIntOptionValue(MyOption opt)
private long	ConfigLoader.getLongOptionValue(MyOption opt)
private String	ConfigLoader.getOptionValue(MyOption opt)
private String[]	ConfigLoader.getStringArrayOptionValue(MyOption opt)