Python forsomeの例

コード例 #1

ファイル: ttrtypes.py プロジェクト: GU-CLASP/pyttr

 def query(self, a):
     if check_stack('query', dict(a=a, self=self)):
         return '*'
     elif a in self.witness_cache:
         return True
     elif isinstance(a, HypObj) and show(self) in showall(a.types):
         return True
     elif isinstance(a, HypObj) and forsome(
             a.types, lambda T: show(self) in showall(T.supertype_cache)):
         return True
     elif isinstance(a, LazyObj):
         if isinstance(a.eval(), LazyObj):
             return a.eval().type().subtype_of(self)
         else:
             return self.query(a.eval())
     elif forsome(self.witness_types,
                  lambda T: T.in_poss(self.poss).query(a)):
         if not isinstance(a, HypObj):
             self.witness_cache.append(a)
         return True
     else:
         if some_condition(self.witness_conditions, a):
             if not isinstance(a, HypObj):
                 self.witness_cache.append(a)
             return True
         else:
             return False

コード例 #2

ファイル: ttrtypes.py プロジェクト: robincooper/pyttr

 def query(self,a):
     if super().query(a):
         return True
     elif forsome(self.comps.pred.witness_funs, lambda f: f(self.comps.args).in_poss(self.poss).query(a)):
         self.witness_cache.append(a)
         return True
     else:
         return False

コード例 #3

ファイル: ttrtypes.py プロジェクト: robincooper/pyttr

def RecOfRecType(r,T,M):
    TypeLabels = [l for l in T.comps.__dict__]
    RecordLabels = [l for l in r.__dict__]
    if forsome(TypeLabels, lambda l: l not in RecordLabels):
        return False
    elif forall(TypeLabels, lambda l: l in RecordLabels and QueryField(l,r,T,M)):
        return True
    else:
        return False

コード例 #4

ファイル: ttrtypes.py プロジェクト: liesenf/pyttr

 def query(self, a):
     if super().query(a):
         return True
     elif forsome(self.comps.pred.witness_funs,
                  lambda f: f(self.comps.args).in_poss(self.poss).query(a)):
         self.witness_cache.append(a)
         return True
     else:
         return False

コード例 #5

ファイル: ttrtypes.py プロジェクト: arildm/pyttr

def RecOfRecType(r,T,M):
    TypeLabels = [l for l in T.comps.__dict__]
    RecordLabels = [l for l in r.__dict__]
    if forsome(TypeLabels, lambda l: l not in RecordLabels):
        return False
    elif forall(TypeLabels, lambda l: l in RecordLabels and QueryField(l,r,T,M)):
        return True
    else:
        return False

コード例 #6

ファイル: ttrtypes.py プロジェクト: robincooper/pyttr

 def query(self, a):
     if a in self.witness_cache: return True
     elif isinstance(a,HypObj) and show(self) in showall(a.types):
         return True
     elif isinstance(a,HypObj) and forsome(a.types,
                                           lambda T: show(self) in showall(T.supertype_cache)):
         return True
     elif isinstance(a, LazyObj):
         if isinstance(a.eval(), LazyObj):
             return a.eval().type().subtype_of(self)
         else:
             return self.query(a.eval())
     elif forsome(self.witness_types, lambda T: T.in_poss(self.poss).query(a)):
         self.witness_cache.append(a)
         return True
     else: 
         if some_condition(self.witness_conditions,a):
             self.witness_cache.append(a)
             return True
         else:
             return False

コード例 #7

ファイル: probttrtypes.py プロジェクト: GU-CLASP/pyttr

def RecOfRecType(r, T, M, c, oracle):
    if not isinstance(r, Rec):
        return PConstraint(0)
    else:
        TypeLabels = [l for l in T.comps.__dict__]
        RecordLabels = [l for l in r.__dict__]
        if forsome(TypeLabels, lambda l: l not in RecordLabels):
            return PConstraint(0)
        else:
            #print(show(ConjProb(list(map(lambda l: QueryField(l,r,T,M),TypeLabels)),c,oracle)))
            return ConjProb(
                list(map(lambda l: QueryField(l, r, T, M), TypeLabels)), c,
                oracle)

コード例 #8

 def query(self, a):
     if a in self.witness_cache: return True
     elif isinstance(a, HypObj) and show(self) in showall(a.types):
         return True
     elif isinstance(a, HypObj) and forsome(
             a.types, lambda T: show(self) in showall(T.supertype_cache)):
         return True
     elif isinstance(a, LazyObj):
         if isinstance(a.eval(), LazyObj):
             return a.eval().type().subtype_of(self)
         else:
             return self.query(a.eval())
     else:
         if some_condition(self.witness_conditions, a):
             self.witness_cache.append(a)
             return True
         else:
             return False