(self)
return self.node_type() == BV_SLE
Test whether the node is the BVSLE (signed less-than-or-equal-to) operator.
Test whether the node is the BVSLE (signed less-than-or-equal-to) operator.
Test whether the node is the BVSLE ( signed less - than - or - equal - to ) operator .
def is_bv_sle(self):
        """Test whether the node is the BVSLE (signed less-than-or-equal-to) operator."""
        return self.node_type() == BV_SLE
def is_bv_sle ( self ) : return self . node_type ( ) == BV_SLE