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)