Owing to the underlying (bitwise) implementation of the domain representation, only positive integers and zero were able to be represented. This change includes an offset amount to allow variables to consider negative values.
The implementation is a little clumsy but avoids refactoring complex bitwise calculations.
Owing to the underlying (bitwise) implementation of the domain representation, only positive integers and zero were able to be represented. This change includes an offset amount to allow variables to consider negative values.
The implementation is a little clumsy but avoids refactoring complex bitwise calculations.