def _assert(self, submodel, interpretation): action = submodel.action atomic_action = AtomicAction.parent_action( interpretation(self.x), interpretation(self.y)) has_action = z3.Select(action, atomic_action) return has_action
def _assert(self, submodel, interpretation): action = submodel.action atomic_action = AtomicAction.parent_action(interpretation(self.x), interpretation(self.y)) has_action = z3.Select(action, atomic_action) return has_action