leaf-analysis/src/simulation/CSPNode.java
/**
	 *  Helper function to call one of the generic conflict preventions levels.
	 */
Helper function to call one of the generic conflict preventions levels.
Helper function to call one of the generic conflict preventions levels .
public static void initializeConflictPrevention(ModelSpec spec, SatTranslation sat, BooleanVar[][][] values, IntVar zero){	
		if (Main.DEBUG) System.out.println("\nMethod: initializeConflictPrevention();");
		char level = spec.getConflictAvoidLevel();
		if (Main.DEBUG)	System.out.println("\nConflict Prevention level is: " + level + "\n");
		if (level == 'N' || level == 'n')
			return;
		for (int i = 0; i < values.length; i++)
    		for (int t = 0; t < values[i].length; t++)
    			if (level == 'S' || level == 's')
    				strongConflictPrevention(sat, values[i][t], zero);
    			else if (level == 'M' || level == 'm')
    				mediumConflictPrevention(sat, values[i][t], zero);
    			else if (level == 'W' || level == 'w')
    				weakConflictPrevention(sat, values[i][t], zero);
	}
public static void initializeConflictPrevention ( ModelSpec spec , SatTranslation sat , BooleanVar [ ] [ ] [ ] values , IntVar zero ) { if ( Main . DEBUG ) System . out . println ( "\nMethod: initializeConflictPrevention();" ) ; char level = spec . getConflictAvoidLevel ( ) ; if ( Main . DEBUG ) System . out . println ( "\nConflict Prevention level is: " + level + "\n" ) ; if ( level == 'N' || level == 'n' ) return ; for ( int i = 0 ; i < values . length ; i ++ ) for ( int t = 0 ; t < values [ i ] . length ; t ++ ) if ( level == 'S' || level == 's' ) strongConflictPrevention ( sat , values [ i ] [ t ] , zero ) ; else if ( level == 'M' || level == 'm' ) mediumConflictPrevention ( sat , values [ i ] [ t ] , zero ) ; else if ( level == 'W' || level == 'w' ) weakConflictPrevention ( sat , values [ i ] [ t ] , zero ) ; }
Helper function to call one of the generic conflict preventions levels.
Helper function to call one of the generic conflict preventions levels .
//Full Model