def module_order(self,state1, state2):
"""True if state1 is a subset of state2 """
return implies_state(state1.value,state2.value,self.relations)
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)
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)
def module_order(self, state1, state2):
"""True if state1 is a subset of state2 """
return implies_state(state1.value, state2.value, self.relations)
