projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54212c1) | patch
Avoiding duplicate search in maps (#7055)
authorMikolasJanota <MikolasJanota@users.noreply.github.com>
Fri, 3 Sep 2021 22:59:46 +0000 (00:59 +0200)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 22:59:46 +0000 (22:59 +0000)
commit5cef06bd2beff38a911c74ec082d9789eed83421
treea632c89f65c6a0b9cf845e56ac2ac40cc232be5ctree
parent54212c1402e43d3a414d20f3e418f2a0fec10a8dcommit | diff
Avoiding duplicate search in maps (#7055)

This commit identifies a couple of scenarios where an operation required
2 searches into a map/hashmap and replaces them with a single search.
This also makes the code shorter.

Signed-off-by: Mikolas Janota <mikolas.janota@gmail.com>
src/context/cdhashmap.h diff | blob | history
src/theory/quantifiers/instantiate.cpp diff | blob | history
src/theory/quantifiers/term_pools.cpp diff | blob | history