projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f404660) | patch
Use n-ary splits instead of binary splits in theory datatypes.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 16 Oct 2014 15:48:08 +0000 (17:48 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 16 Oct 2014 15:48:08 +0000 (17:48 +0200)
commit135b3d1521df59813293f1242c360c488b17958d
tree11f971b4c5c90db16fbbe53024650e0b8a5f933etree
parentf4046606737f18ed7ffd9da55529e08b704a5b05commit | diff
Use n-ary splits instead of binary splits in theory datatypes.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history