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)