projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd96372) | patch
Make sep pto a trigger kind, track in equality engines and term database.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 15 Sep 2016 19:04:50 +0000 (14:04 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 15 Sep 2016 19:04:50 +0000 (14:04 -0500)
commit60687e672ea8f485b4071e485b7b0cabc034fd00
tree92fbdc406798eba0e49b9adb7815b2e40e240b78tree
parentdd963729849ca7f1001373c56e800bd62781fe98commit | diff
Make sep pto a trigger kind, track in equality engines and term database.
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history