Searched refs:state2cube (Results 1 – 2 of 2) sorted by relevance
306 def state2cube(self, s): member in QReach321 return And(self.state2cube(intersects[0])) # only need to return one single intersect424 r = self.reachable.state2cube(state)456 s.add(And(self.next(self.reachable.state2cube(state))))457 print self.reachable.state2cube(state)
306 def state2cube(self, s):321 return And(self.state2cube(intersects[0])) # only need to return one single intersect424 r = self.reachable.state2cube(state)456 s.add(And(self.next(self.reachable.state2cube(state))))457 print self.reachable.state2cube(state)