git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Mon, 22 Feb 2021 22:35:20 +0000 (16:35 -0600)
committer	GitHub <noreply@github.com>
	Mon, 22 Feb 2021 22:35:20 +0000 (16:35 -0600)
commit	4479383c2fd8a3b81ab63d66f843b09b5c9d0cd3
tree	f4bf404bac05fd8592a09fda981061311692e8e2	tree
parent	71d72df0437607723256bbd7b4f28cd6c89fe40f	commit \| diff

Move quantifiers attributes to quantifiers registry (#5929)

This moves the utility class beneath quantifiers registry.

14 files changed:

src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp		diff \| blob \| history
src/theory/quantifiers/ematching/instantiation_engine.cpp		diff \| blob \| history
src/theory/quantifiers/ematching/trigger.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_attributes.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_attributes.h		diff \| blob \| history
src/theory/quantifiers/quantifiers_registry.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_registry.h		diff \| blob \| history
src/theory/quantifiers/sygus/synth_conjecture.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/synth_conjecture.h		diff \| blob \| history
src/theory/quantifiers/sygus/synth_engine.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/theory/quantifiers/term_util.h		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history