Python validの例

コード例 #1

ファイル: endofunctor.py プロジェクト: koreiklein/fantasia

 def search(self, spec):
   # TODO consider allow to search for more.
   return [claim for claim in [self.inDomain]
       if spec.valid(claim)]

コード例 #2

ファイル: endofunctor.py プロジェクト: koreiklein/fantasia

 def search(self, spec):
   inDomain = formula.InDomain(self.variable, self.equivalence)
   return [claim for claim in [inDomain] if spec.valid(claim)]

コード例 #3

ファイル: endofunctor.py プロジェクト: koreiklein/fantasia

 def search(self, spec):
   return [claim for claim in [self.inDomain] if spec.valid(claim)]