summaryrefslogtreecommitdiff
path: root/src/theory/sets/skolem_cache.h
diff options
context:
space:
mode:
authorAina Niemetz <aina.niemetz@gmail.com>2019-10-22 14:03:09 -0700
committerGitHub <noreply@github.com>2019-10-22 14:03:09 -0700
commit2caeef9745366ad4c45f61dabedf1cd7f676a4a1 (patch)
tree4ddcc391429293e4a4e75d6ff23019ee9f71e781 /src/theory/sets/skolem_cache.h
parent2bd74b751844230b82c58bfdd29666206562781d (diff)
NodeValue: Eliminate redundant NBITS macros. (#3400)
Previously, the metakind header defined macros for the number of bits reserved for fields in the NodeValue "header" (for the reference count, the node kind, the number of children and the node id). These macros were redundant, since the only one using them was the NodeValue itself, which redefined them (while using them) as constants in the class. Additionally, MAX_CHILDREN was defined (using these macros) not only in the metakind header, but redefined in other places. This commit defines the above values as constexpr members of the NodeValue class and cleans up redundancy.
Diffstat (limited to 'src/theory/sets/skolem_cache.h')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback