diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-02 18:17:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-02 18:17:53 -0500 |
| commit | 883298e4d5bf54b83125fc256601cdbb6c21ad03 (patch) | |
| tree | 53bc4f9e448d42c6e2cf603822f39e04132e8b6f /src/theory/model_manager_distributed.cpp | |
| parent | 51b9c07af2001e961911e59f3e7e80728c88550a (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.
Diffstat (limited to 'src/theory/model_manager_distributed.cpp')
0 files changed, 0 insertions, 0 deletions