Python lp_params Beispiele

Beispiel #1

Datei: test_lp.py Projekt: ziolek2609/nn-lp-jsons

 def test_atoms(self):
     self.assertEqual(lp_params(lp_example)["clauses"]["atoms"]["sum"], 4)
     self.assertEqual(lp_params(lp_example)["clauses"]["atoms"]["pos"], 4)
     self.assertEqual(lp_params(lp_example)["clauses"]["atoms"]["neg"], 0)
     self.assertEqual(lp_params(lp_example)["clauses"]["atoms"]["withH"], 0)
     self.assertEqual(
         lp_params(lp_example)["clauses"]["atoms"]["posWithH"], 0)
     self.assertEqual(
         lp_params(lp_example)["clauses"]["atoms"]["negWithH"], 0)

Beispiel #2

Datei: test_lp.py Projekt: ziolek2609/nn-lp-jsons

 def test_assumptions(self):
     self.assertEqual(lp_params(lp_example)["assumptions"], 0)

Beispiel #3

Datei: test_lp.py Projekt: ziolek2609/nn-lp-jsons

 def test_facts(self):
     self.assertEqual(lp_params(lp_example)["facts"], 0)

Beispiel #4

Datei: test_lp.py Projekt: ziolek2609/nn-lp-jsons

 def test_clauses(self):
     self.assertEqual(lp_params(lp_example)["clauses"]["amount"], 3)
     self.assertEqual(lp_params(lp_example)["clauses"]["onlyPos"], 3)
     self.assertEqual(lp_params(lp_example)["clauses"]["onlyNeg"], 0)
     self.assertEqual(lp_params(lp_example)["clauses"]["mix"], 0)
     self.assertEqual(lp_params(lp_example)["clauses"]["headWithH"], 0)