public void variableAssigned(Variable assignedVar) {
		//see if the variable is in the clause
		if(! variableInClause(assignedVar)) return;

		//make sure the unitness stats are correct
		checkUnitness();
		
		//see if the clause is satisfied
		//we're going to do this by checking the number of satisfied literals directly
		//because we're going to need that number later
		int numSatLits = getNumSatisfiedLiterals();
		if(numSatLits == 1) {
			//make sure this variable is the satisfying variable
			//if it isn't, we don't need to do anything
			Literal assignedLit = getLiteral(assignedVar);
			if(! assignedLit.isSatisfied()) return;

			//Since this assignment satisfied the clause, we need to adjust
			//the statistics in all of the variables.
			for(Literal l : literals) {
				if(l.getSign()) {
					//the literal is positive, and the clause is SAT, 
					//so decrement the times the variable appears positive
					l.getVariable().decTimesPositive();
				} else  {
					//the literal is negative, and the clause is SAT,
					//so decrement the times the variable appears negative
					l.getVariable().decTimesNegative();
				}
			}
		}
		//otherwise, this assignment is guaranteed to not have satisfied the clause
		//Since that is the case, we don't need to adjust anything.
	}