leaf-analysis/src/simulation/CSPNode.java
/**
	 * Prevents Medium Conflicts from occurring.
	 * @param satTrans	SAT Translator for CSP
	 * @param val		time point to assign conflict prevention to
	 * @param zero		zero IntVar
	 */
Prevents Medium Conflicts from occurring.
@param satTrans      SAT Translator for CSP
@param val           time point to assign conflict prevention to
@param zero          zero IntVar
Prevents Medium Conflicts from occurring . @param satTrans SAT Translator for CSP @param val time point to assign conflict prevention to @param zero zero IntVar
private static void mediumConflictPrevention(SatTranslation satTrans, BooleanVar[] val, IntVar zero){
		BooleanVar[] mConflict1 = {val[0], val[2]};
		BooleanVar[] mConflict2 = {val[1], val[3]};
		satTrans.generate_and(mConflict1, zero);	
		satTrans.generate_and(mConflict2, zero);	
	}
private static void mediumConflictPrevention ( SatTranslation satTrans , BooleanVar [ ] val , IntVar zero ) { BooleanVar [ ] mConflict1 = { val [ 0 ] , val [ 2 ] } ; BooleanVar [ ] mConflict2 = { val [ 1 ] , val [ 3 ] } ; satTrans . generate_and ( mConflict1 , zero ) ; satTrans . generate_and ( mConflict2 , zero ) ; }
Prevents Medium Conflicts from occurring.
Prevents Medium Conflicts from occurring .