CostabsOptions.java

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"
	};

}