diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-06-01 12:38:33 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-06-01 12:38:33 -0500 |
| commit | 029fb0427b59cc5251767fff902764eb4bba3771 (patch) | |
| tree | 97ef5e9f00bd2734f242a2b0855a0b52036eded0 /src/theory/quantifiers_engine.h | |
| parent | 73a60e60a6036f635e8819c672c227156b351964 (diff) | |
Minor optimizations related to cbqi.
Diffstat (limited to 'src/theory/quantifiers_engine.h')
| -rw-r--r-- | src/theory/quantifiers_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index 7405241b7..fff446eda 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -315,7 +315,7 @@ public: /** get instantiation */ Node getInstantiation( Node q, std::vector< Node >& terms, bool doVts = false ); /** do substitution */ - Node getSubstitute( Node n, std::vector< Node >& terms ); + Node getSubstitute( Node n, std::vector< Node >& terms, std::map< Node, Node >& visited ); /** add lemma lem */ bool addLemma( Node lem, bool doCache = true, bool doRewrite = true ); /** remove pending lemma */ |