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