PreferenceConstants.java

package apet.preferences;

/**
 * Constant definitions for plug-in preferences
 */
public class PreferenceConstants {
	
	public static final String KL = "kl";
	public static final String KS = "ks";
	public static final String KSTR = "kstr";
	public static final String PRUNING = "interleavings_pruning";
	public static final String SCHED_POLICY = "sched";
	public static final String MAXQL = "maxQL";
	public static final String MAX_PRIOR = "max_prior";
	public static final String NUM_OR_CONST = "num_or_const";
	public static final String DOM_MIN = "min";
	public static final String DOM_MAX = "max";
	public static final String ALIASING = "ref_aliasing";
	public static final String TRACING = "tracing";
	public static final String VERBOSITY = "verbosity";
	public static final String SEL_CRIT = "sel_crit";
}