def test_set_value_for_literal_sets_value(self):
mapping = {self.variable: False}
v = Valuation(mapping)
l = Literal(self.variable)
v.set_value_for_literal(l, True)
self.assertEqual(True, v.get_value_for_literal(l))
def test_get_value_for_negated_literal_returns_correct_value(self):
value = False
mapping = {self.variable: value}
v = Valuation(mapping)
self.assertEqual(not value, v.get_value_for_literal(Literal(self.variable, positive=False)))
