package costabs.preferences;
public class CostabsOptions {
public static final String COST_MODEL_TITLE = "Cost models";
public static final String[] COST_MODEL = {
"Termination",
"Steps",
"Memory",
"Objects",
"Task Level",
"User-defined"
};
public static final String[] COST_MODEL_PROLOG = {
"termination",
"steps",
"memory",
"objects",
"task_level",
"user"
};
public static final String COST_CENTERS_TITLE = "Cost centers";
public static final String[] COST_CENTERS = {
"Yes",
"No"
};
public static final String[] COST_CENTERS_PROLOG = {
"yes",
"no"
};
public static final String SIZE_NORM_TITLE = "Size norm";
public static final String[] SIZE_NORM = {
"Term size",
"Term depth"
};
public static final String[] SIZE_NORM_PROLOG = {
"term_size",
"term_depth"
};
public static final String DEBUG_MODE_TITLE = "Debugging mode";
public static final String[] DEBUG_MODE = {
"yes",
"no"
};
public static final String ASYMPTOTIC_TITLE = "Asymptotic bounds";
public static final String[] ASYMPTOTIC = {
"yes",
"no"
};
public static final String VERBOSITY_TITLE = "Verbosity";
public static final String[] VERBOSITY = {
"0",
"1",
"2"
};
}