projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b0659e) | patch
Consolidating the opaque pointers in SymbolTable. (#204)
authorTim King <taking@cs.nyu.edu>
Sun, 23 Jul 2017 02:56:49 +0000 (19:56 -0700)
committerGitHub <noreply@github.com>
Sun, 23 Jul 2017 02:56:49 +0000 (19:56 -0700)
commit4cab39bd4f166716cd3d357a175c346afb838137
treeb610b16634cb58be196687eb3fe655dd1cd0d50etree
parent8b0659e6cd342ae40b676781b5e819d5fd2b3af7commit | diff
Consolidating the opaque pointers in SymbolTable. (#204)

* Consolidating the opaque pointers in SymbolTable. This removes details about the implementation from a public header.

* Removing the guard for SymbolTable for the move constructor.
src/expr/symbol_table.cpp diff | blob | history
src/expr/symbol_table.h diff | blob | history