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