projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a59d0a) | patch
Add associative utilities to node manager (#5530)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Dec 2020 19:03:54 +0000 (13:03 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 19:03:54 +0000 (13:03 -0600)
commitf422a12f247b986ae8f6941e768ed75453fd1049
treea111b431cdb2063488525b943f983c0779d2e835tree
parent8a59d0aa0d1bacdfd1194c16ae24c3b7349c9e3fcommit | diff
Add associative utilities to node manager (#5530)

Required for updating the new API to use Node utilites as backend.

These utilities are copied directly from ExprManager and converted Expr -> Node.
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history