Counterintuitive naming of method Assignment#isViolated(int)

[rtaupe]

The method Assignment#isViolated(int) returns true iff the given literal is TRUE or MBT in the current partial interpretation. From its name, I would rather expect that it returns true iff the given literal is assigned FALSE. I guess the method is named this way because it returns True iff the given literal could contribute to the violation of a nogood under the current assignment. How about renaming the method to isTrueOrMBT or isSatisfied?