Python parse_fo_sentenceの例

コード例 #1

 def assert_cnf(self, sentence, expected):
     result = cnfparser.parse_fo_sentence(sentence)
     for i, cnf in enumerate(expected):
         expected[i] = [{
             symbol.strip()
             for symbol in conjunct.replace("[", "").replace("]", "").split(
                 "|")
         } for conjunct in cnf.split("&") if len(conjunct) != 0]
         expected[i] = set(frozenset(s) for s in expected[i])
     result = set(result)
     self.assertIn(result, expected)

コード例 #2

ファイル: fologic.py プロジェクト: nikoladimitroff/Adder

 def assert_cnf(self, sentence, expected):
     result = cnfparser.parse_fo_sentence(sentence)
     for i, cnf in enumerate(expected):
         expected[i] = [{symbol.strip() for symbol in
                          conjunct.replace("[", "").replace("]", "").split("|")
                         }
                         for conjunct in cnf.split("&")
                         if len(conjunct) != 0
                        ]
         expected[i] = set(frozenset(s) for s in expected[i])
     result = set(result)
     self.assertIn(result, expected)

コード例 #3

ファイル: fologic.py プロジェクト: nikoladimitroff/Adder

 def assert_cnf_equivalence(self, first, second):
     self.assertEqual(cnfparser.parse_fo_sentence(first),
                      cnfparser.parse_fo_sentence(second))

コード例 #4

 def assert_cnf_equivalence(self, first, second):
     self.assertEqual(cnfparser.parse_fo_sentence(first),
                      cnfparser.parse_fo_sentence(second))