def test_multiple_relations_false(self):
node = Implicit(Proposition('q'))
(truth_value, dict) = node.is_true(self.model.get_state_by_name('sd'))
self.assertFalse(truth_value)
# print dict['condition']
# print dict['conclusion']
# print dict['interlude']
def test_multiple_relations_true(self):
node = Common(Disjunction(self.lhs, Proposition('r')))
(truth_value, dict) = node.is_true(self.model.get_state_by_name('sa'))
self.assertTrue(truth_value)
def setUp(self):
self.model = KModel()
json_data = utils.read_json('modelchecker/models/test_model_km.json')
self.model = KModel.from_json(json_data)
self.lhs = Proposition('p')
def test_one_relation_false(self):
node = Implicit(Proposition('q'))
(truth_value, dict) = node.is_true(self.model.get_state_by_name('sa'))
self.assertFalse(truth_value)
def test_is_true_false(self):
node = Proposition('p')
(truth_value, dict) = node.is_true(self.model.get_state_by_name('sc'))
self.assertFalse(truth_value)