(self)
return self.node_type() == BV_SLT
Test whether the node is the BVSLT (signed less-than) operator.
Test whether the node is the BVSLT (signed less-than) operator.
Test whether the node is the BVSLT ( signed less - than ) operator .
def is_bv_slt(self):
        """Test whether the node is the BVSLT (signed less-than) operator."""
        return self.node_type() == BV_SLT
def is_bv_slt ( self ) : return self . node_type ( ) == BV_SLT