diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-26 22:50:06 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-26 22:50:06 -0500 |
commit | 34953e8f4d9928cd8a92177f104b87e56479b437 (patch) | |
tree | 2792084fca0eb1b56dd1e2088076b9f15e492255 /src/fix-install-headers.sh | |
parent | 00c9ae6e2796c45d821ea9dd45ff7c33a5770922 (diff) |
Add the theory inference manager (#4948)
This class is a wrapper around OutputChannel and EqualityEngine. It is preferred that the Theory use this interface when asserting "internal facts" to the equality engine, and for sending lemmas, conflicts and propagations on the output channel.
This class will be useful when trying new methods for theory combination, where all theories behavior can be modified in a standard way based on modifications to the base inference manager class.
Diffstat (limited to 'src/fix-install-headers.sh')
0 files changed, 0 insertions, 0 deletions