package ca.queensu.cs.mase.ui.interpreter.launch;

public interface IUrmlLaunchConfigurationConstants {
	public static final String ATTR_MODEL_NAME = "model name";
	public static final String ATTR_EXEC_CONFIG = "exec config";
	public static final String EXEC_FIRST_TRANSITION = "first transition";
	public static final String EXEC_RANDOM_TRANSITION = "random transition";
	public static final String EXEC_INTERACTIVE = "interactive";
	public static final String ATTR_EXIT_COND = "exit condition";
	public static final String EXIT_SECONDS = "seconds";
	public static final String EXIT_TRANSITIONS = "transitions";
	public static final String EXIT_INFINITE = "infinite";
	public static final String ATTR_EXIT_SECONDS = "exit seconds";
	public static final String ATTR_EXIT_TRANSITIONS = "exit transitions";
	
}
