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))