projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d10d10) | patch
Minor updates to theory inference manager (#5004)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Sep 2020 16:11:48 +0000 (11:11 -0500)
committerGitHub <noreply@github.com>
Wed, 2 Sep 2020 16:11:48 +0000 (09:11 -0700)
commit95bba975fd13261ca8854d9fb30d03fc7447eb80
tree1db607f4e640b2e24caee3bda35f727d74b83518tree
parent8d10d1053a0616d8e791219f651b22c10f9039bfcommit | diff
Minor updates to theory inference manager (#5004)

These updates are inspired by the current inference manager for sets.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/inference_manager_buffered.cpp diff | blob | history
src/theory/theory_inference_manager.cpp diff | blob | history
src/theory/theory_inference_manager.h diff | blob | history