summaryrefslogtreecommitdiff
path: root/src/theory/bags/term_registry.h
diff options
context:
space:
mode:
authorGereon Kremer <nafur42@gmail.com>2021-05-13 08:02:58 +0200
committerGitHub <noreply@github.com>2021-05-13 06:02:58 +0000
commitffd7bb2069df08c31fd9d8a03d786f1e9fc7147c (patch)
tree3b135fff23c6833a3f07abb5b34c82cf57b5576d /src/theory/bags/term_registry.h
parent304064c6bb3bf7ea7a7d54b66e2ad152e8fc4525 (diff)
Split options holder class (#6527)
This PR splits the OptionsHolder class into separate holder classes for every options module and makes them directly accessible via appropriate Options::<module>() methods. We forward declare these new holder classes and thereby retain that we only need to recompile when we change an option module that is explicitly included. All (generated) methods that previously accessed the old holder object are changed to instead use the new holder objects. This PR does the bare minimum to do this change, further PRs will eventually get rid of all template specializations that currently surround our options class.
Diffstat (limited to 'src/theory/bags/term_registry.h')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback