leaf-analysis/src/simulation/CSPNode.java
/**
	 * Creates BooleanVars for each intention/time-point combo.
	 * Adds the FS -> PS invariant.
	 * @param store		The CSP store.		
	 * @param satTrans	SAT Translator for CSP store.
	 * @param val		intention/time-point combo array
	 * @param nodeName	intention/time-point combo name
	 */
Creates BooleanVars for each intention/time-point combo.
Adds the FS -> PS invariant.
@param store         The CSP store.
@param satTrans      SAT Translator for CSP store.
@param val           intention/time-point combo array
@param nodeName      intention/time-point combo name
Creates BooleanVars for each intention / time - point combo . Adds the FS - > PS invariant . @param store The CSP store . @param satTrans SAT Translator for CSP store . @param val intention / time - point combo array @param nodeName intention / time - point combo name
public static void initializeNodeVariables(Store store, SatTranslation satTrans, BooleanVar[] val, String nodeName){
		val[0] = new BooleanVar(store, "N" + nodeName + "_FD");
		val[1] = new BooleanVar(store, "N" + nodeName + "_PD");
		val[2] = new BooleanVar(store, "N" + nodeName + "_PS");
		val[3] = new BooleanVar(store, "N" + nodeName + "_FS");
		satTrans.generate_implication(val[3], val[2]);
		satTrans.generate_implication(val[0], val[1]);	
	}
public static void initializeNodeVariables ( Store store , SatTranslation satTrans , BooleanVar [ ] val , String nodeName ) { val [ 0 ] = new BooleanVar ( store , "N" + nodeName + "_FD" ) ; val [ 1 ] = new BooleanVar ( store , "N" + nodeName + "_PD" ) ; val [ 2 ] = new BooleanVar ( store , "N" + nodeName + "_PS" ) ; val [ 3 ] = new BooleanVar ( store , "N" + nodeName + "_FS" ) ; satTrans . generate_implication ( val [ 3 ] , val [ 2 ] ) ; satTrans . generate_implication ( val [ 0 ] , val [ 1 ] ) ; }
Creates BooleanVars for each intention/time-point combo.
Creates BooleanVars for each intention / time - point combo .
// Initialise BooleanVar // Create Invariant