(self, formula, steps)
return self.create_node(node_type=op.BV_ROR,
                                args=(formula,),
                                payload=(formula.bv_width(), steps))
Returns the RIGHT rotation of the BV by the number of steps.
Returns the RIGHT rotation of the BV by the number of steps.
Returns the RIGHT rotation of the BV by the number of steps .
def BVRor(self, formula, steps):
        """Returns the RIGHT rotation of the BV by the number of steps."""
        if not is_python_integer(steps):
            raise PysmtTypeError("BVRor: 'steps' should be an integer. Got %s" \
                                 % steps)
        return self.create_node(node_type=op.BV_ROR,
                                args=(formula,),
                                payload=(formula.bv_width(), steps))
def BVRor ( self , formula , steps ) : if not is_python_integer ( steps ) : raise PysmtTypeError ( "BVRor: 'steps' should be an integer. Got %s" % steps ) return self . create_node ( node_type = op . BV_ROR , args = ( formula , ) , payload = ( formula . bv_width ( ) , steps ) )