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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 28 Jun 2018 15:43:08 +0000 (10:43 -0500)
committer	GitHub <noreply@github.com>
	Thu, 28 Jun 2018 15:43:08 +0000 (10:43 -0500)
commit	d83f8bebccffdb677652706f4eb3a2fff056587c
tree	837f840e1506f2ac21e90d8b3dbb1feba8b83e1e	tree
parent	bf40a0811328e294d98c07cf137f557aea68bdc8	commit \| diff

Split and document ceg theory instantiators (#2094)

14 files changed:

src/Makefile.am		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_arith_instantiator.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_arith_instantiator.h	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_bv_instantiator.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_bv_instantiator.h	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_dt_instantiator.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_dt_instantiator.h	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_epr_instantiator.cpp	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_epr_instantiator.h	[new file with mode: 0644]	blob
src/theory/quantifiers/cegqi/ceg_instantiator.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_t_instantiator.cpp	[deleted file]	blob \| history
src/theory/quantifiers/cegqi/ceg_t_instantiator.h	[deleted file]	blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
test/unit/theory/theory_quantifiers_bv_instantiator_white.h		diff \| blob \| history