diff --git a/ailment/expression.py b/ailment/expression.py index e49af80..c0d6195 100644 --- a/ailment/expression.py +++ b/ailment/expression.py @@ -139,6 +139,10 @@ def sign_bit(self): def copy(self) -> Const: return Const(self.idx, self.variable, self.value, self.bits, **self.tags) + @property + def is_int(self) -> bool: + return isinstance(self.value, int) + class Tmp(Atom): __slots__ = ("tmp_idx",)