package io.github.wang_jingyi.ZiQian.main;

public class PlatformDependent {
	
	public static final String USER_HOME_DIR = System.getProperty("user.home");
	public static final String CAV_MODEL_ROOT = USER_HOME_DIR +"/work/ziqian_evaluation_cav";
	public static final String PRISM_PATH = USER_HOME_DIR +"/work/prism-4.4-osx64/bin/prism";
	public static final String SWAT_SIMULATE_PATH = USER_HOME_DIR +"/work/swat_beta_v2_1";
	public static final String SWAT_EVALUATION_PATH = USER_HOME_DIR + "/work/swat_dataset";
	public static final String PROJECT_DIR = System.getProperty("user.dir");
	
}

