(self, in_state)
return self._p.factory.successors(in_state)
We expect a VSA state here.
We expect a VSA state here.
We expect a VSA state here .
def _irsb(self, in_state):
        """
        We expect a VSA state here.
        """
        return self._p.factory.successors(in_state)
def _irsb ( self , in_state ) : return self . _p . factory . successors ( in_state )