(self, left, right)
return self.create_node(node_type=op.BV_SLT,
                                args=(left, right))
Returns the SIGNED LOWER-THAN comparison for BV.
Returns the SIGNED LOWER-THAN comparison for BV.
Returns the SIGNED LOWER - THAN comparison for BV .
def BVSLT(self, left, right):
        """Returns the SIGNED LOWER-THAN comparison for BV."""
        return self.create_node(node_type=op.BV_SLT,
                                args=(left, right))
def BVSLT ( self , left , right ) : return self . create_node ( node_type = op . BV_SLT , args = ( left , right ) )