reasoner/abstract/abstract_domain library

Classes

AbstractDomain<T extends AbstractDomain<T>>: Base class for abstract domains used in abstract interpretation.
AbstractState<D extends AbstractDomain<D>>: Abstract state mapping variables to their abstract values.
CombinedDomain: Combined domain pairing interval and nullability analysis.
IntervalDomain: Interval domain for tracking integer value ranges.
NullabilityDomain: Nullability domain for tracking null/non-null states of variables.