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

author	ajreynol <andrew.j.reynolds@gmail.com>
	Fri, 1 Aug 2014 13:16:17 +0000 (15:16 +0200)
committer	ajreynol <andrew.j.reynolds@gmail.com>
	Fri, 1 Aug 2014 13:16:17 +0000 (15:16 +0200)
commit	8d3446768446f16e71dca48bdf14d4ed767756aa
tree	ab8e01fdb9fe7e5f4f7db5aa378a424f19488f0c	tree
parent	a9f4d3e2aed0c6d8d8b218c5f5d2bc95af2d45a6	commit \| diff

Minor cleanup from previous commit. Better organization for how quantifiers modules check (introduce QuantifiersEngine::QEffort).

18 files changed:

src/theory/quantifiers/bounded_integers.cpp		diff \| blob \| history
src/theory/quantifiers/bounded_integers.h		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.cpp		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.h		diff \| blob \| history
src/theory/quantifiers/instantiation_engine.cpp		diff \| blob \| history
src/theory/quantifiers/instantiation_engine.h		diff \| blob \| history
src/theory/quantifiers/model_engine.cpp		diff \| blob \| history
src/theory/quantifiers/model_engine.h		diff \| blob \| history
src/theory/quantifiers/options		diff \| blob \| history
src/theory/quantifiers/options_handlers.h		diff \| blob \| history
src/theory/quantifiers/quant_conflict_find.cpp		diff \| blob \| history
src/theory/quantifiers/quant_conflict_find.h		diff \| blob \| history
src/theory/quantifiers/rewrite_engine.cpp		diff \| blob \| history
src/theory/quantifiers/rewrite_engine.h		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.h		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history