def test_complete_s_framework(self):
complete_sets = Semantics.complete(s_baba)
self.assertIn(Semantics.SemanticSet([a, c, e, f]), complete_sets)
self.assertIn(Semantics.SemanticSet([b, d, f]), complete_sets)
self.assertIn(Semantics.SemanticSet([e, f]), complete_sets)
self.assertIn(Semantics.SemanticSet([b, e, f]), complete_sets)
self.assertIn(Semantics.SemanticSet([f]), complete_sets)
self.assertIn(Semantics.SemanticSet([b, f]), complete_sets)
self.assertEqual(6, len(complete_sets))
def compute_semantics(framework_string):
framework = create_framework(framework_string)
admissible = Semantics.admissible(framework)
stable_ext = Semantics.stable(framework, admissibles=admissible)
grounded_ext = Semantics.grounded(framework, admissibles=admissible)
complete_ext = Semantics.complete(framework, admissibles=admissible)
preferred_ext = Semantics.preferred(framework, admissibles=admissible)
ideal_ext = Semantics.stable(framework, admissibles=admissible)
return stable_ext, grounded_ext, complete_ext, preferred_ext, ideal_ext
def test_complete_venice_framework(self):
complete_sets = Semantics.complete(venice_baba)
self.assertIn(Semantics.SemanticSet([]), complete_sets)
self.assertIn(Semantics.SemanticSet([a, c, e]), complete_sets)
self.assertIn(Semantics.SemanticSet([b, d]), complete_sets)
self.assertEqual(3, len(complete_sets))
def test_integration_complete_sets(self):
parser = Parser.BABAProgramParser(
filename='../PythonSemantics/Parsing/BABA_program_2')
baba = parser.parse()
complete_sets = Semantics.complete(baba)
self.assertEqual(6, len(complete_sets))
def compute_complete(framework_string, admissibles=None):
framework = create_framework(framework_string)
return Semantics.complete(framework, admissibles=admissibles)
