Closed chihyang closed 1 month ago
Other names:
Other names:
* FiniteNumericDomain * RangeDomain
I like RangeDomain just because it's shorter...
Other names:
* FiniteNumericDomain * RangeDomain
I like RangeDomain just because it's shorter...
All the problems mentioned above have been solved in the latest commits.
Support a new domain format "compact". In the compact mode, the filed "values" in the FGG JSON is an
int
that represents the size of the domain. This size will be used later so that there is no need to record every value. This will save a lot of time and space when the FGG domains contain a large number of values.