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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 15 Jul 2020 08:58:54 +0000 (03:58 -0500)
committer	GitHub <noreply@github.com>
	Wed, 15 Jul 2020 08:58:54 +0000 (01:58 -0700)
commit	eb58f1ef8917c5d57d64c54f9188b0ed489b47c1
tree	c7d4fc304f72dc06b10f052ecf29d5f629fc0193	tree
parent	a932b4478e397d760d9457be7c6a80f9ba724391	commit \| diff

Simplify entailment check interface (#4744)

The generality of this interface is unnecessary.

12 files changed:

src/theory/arith/infer_bounds.cpp		diff \| blob \| history
src/theory/arith/infer_bounds.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/valuation.cpp		diff \| blob \| history
src/theory/valuation.h		diff \| blob \| history