コード例 #1
0
ファイル: ivy_interp.py プロジェクト: ZZHGit/ivy 
def module_order(self,state1, state2):
    """True if state1 is a subset of state2 """
    return implies_state(state1.value,state2.value,self.relations)
コード例 #2
0
def module_order(self, state1, state2):
    """True if state1 is a subset of state2 """
    axioms = self.background_theory(state1.in_scope)
    return implies_state(state1.value, state2.value, axioms, self.relations)
コード例 #3
0
ファイル: ivy_interp.py プロジェクト: jamella/ivy 
def module_order(self,state1, state2):
    """True if state1 is a subset of state2 """
    axioms = self.background_theory(state1.in_scope) 
    return implies_state(state1.value,state2.value,axioms,self.relations)
コード例 #4
0
ファイル: ivy_interp.py プロジェクト: asyaf/ivy 
def module_order(self, state1, state2):
    """True if state1 is a subset of state2 """
    return implies_state(state1.value, state2.value, self.relations)