Represents a numeric interval [low, high] in abstract interpretation.
Supports basic arithmetic operations and comparisons on intervals.
Special cases:
FULL: (-∞, +∞) represents the interval containing all numbers
EMPTY: Empty interval (∅) represents an invalid or undefined interval
Remarks
This class implements interval arithmetic for abstract interpretation,
following standard interval arithmetic rules for operations like
addition, multiplication, division etc.
Throws
Error when performing division by an interval containing zero
Represents a numeric interval [low, high] in abstract interpretation. Supports basic arithmetic operations and comparisons on intervals.
Special cases:
Remarks
This class implements interval arithmetic for abstract interpretation, following standard interval arithmetic rules for operations like addition, multiplication, division etc.
Throws
Error when performing division by an interval containing zero