package dfatool.strategy.verification.fdr2;

public interface FDRConstants {
	
	public static String NetworkDefaultFileName = "Network.csp";
	public static String ConflictFreedomVerificationDefaultFileName = "ConflictFreedomVerification.csp";

}
