Пример #1
0
 def search(self, spec):
   # TODO consider allow to search for more.
   return [claim for claim in [self.inDomain]
       if spec.valid(claim)]
Пример #2
0
 def search(self, spec):
   inDomain = formula.InDomain(self.variable, self.equivalence)
   return [claim for claim in [inDomain] if spec.valid(claim)]
Пример #3
0
 def search(self, spec):
   return [claim for claim in [self.inDomain] if spec.valid(claim)]