package dfatool.strategy.elements;

public final class ConfigurationConstants {
	
	private ConfigurationConstants(){
	
	}
	
	public static final String DATATYPES_FILE = "/datatypes.dfa";
	public static final String VARS_FILE = "/vars.dfa";
	public static final String ATOMS_FILE = "/atoms.dfa";
	public static final String CHANNELS_FILE = "/channels.dfa";
	public static final String NETWORK_FILE = "/network.dfa";
	
	public static final String SCRIPTS_PATH = "/FDR_Scripts/";
	public static final String LOGS_PATH = "/FDR_Logs/";
	
	public static final String FDR_HOME = "/home/pedino/Tools/fdr2;


}
