Esempi in Python per equal_translates_search_spec

Esempio n. 1

File: test_enriched_functors.py Progetto: koreiklein/fantasia

 def assert_exact_search_succeeds(self, functor, claim, intended_result):
   result = functor.search(spec.equal_translates_search_spec(claim))
   self.assertEqual(intended_result, result)

Esempio n. 2

File: test_path.py Progetto: koreiklein/fantasia

 def assert_exact_path_search_succeeds_once(self, src_path, formula):
   self.assert_path_search_succeeds(src_path = src_path,
       search_spec = spec.equal_translates_search_spec(formula),
       number = 1)