projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51b9c07) | patch
Minor simplifications to substitution map class (#5180)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 Oct 2020 23:17:53 +0000 (18:17 -0500)
committerGitHub <noreply@github.com>
Fri, 2 Oct 2020 23:17:53 +0000 (18:17 -0500)
commit883298e4d5bf54b83125fc256601cdbb6c21ad03
tree53bc4f9e448d42c6e2cf603822f39e04132e8b6ftree
parent51b9c07af2001e961911e59f3e7e80728c88550acommit | diff
Minor simplifications to substitution map class (#5180)

This class is an important utility in preprocessing, which we are adding proof support for. This simplifies the interface of this class with regards to unused interfaces for clarity.
src/theory/substitutions.cpp diff | blob | history
src/theory/substitutions.h diff | blob | history