Basic implementation of the PreciseIntegerValues
trait that requires that
Domain
's Value
trait is not extended.
Basic implementation of the PreciseLongValues
trait that requires that
Domain
's Value
trait is not extended.
Domain to track integer values at a configurable level of precision.
Domain to track long values at a configurable level of precision.
Domain to track long values at a configurable level of precision.
THIS DOMAIN IS CURRENTLY BUGGY AND SHOULD NOT BE USED
Domain to track integer values at a configurable level of precision.
This domain requires support for performing concrete interpretations.