コード例 #1
0
ファイル: atomic_predicate.py プロジェクト: bgyori/syndra 
 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
コード例 #2
0
 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