def test_remove_node_one_agent(): worlds = [World('1', {'p': True}), World('2', {'p': True})] relations = {'a': {('1', '2')}} ks = KripkeStructure(worlds, relations) ks_expected = KripkeStructure([World('2', {'p': True})], {'a': set()}) ks.remove_node_by_name('1') assert ks_expected.__eq__(ks)
def test_remove_node_trivial_case(): worlds = [World('1', {'p': True}), World('2', {'p': True})] relations = {('1', '2')} ks = KripkeStructure(worlds, relations) ks_expected = KripkeStructure([World('2', {'p': True})], {}) ks.remove_node_by_name('1') assert ks_expected.__eq__(ks)