diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/example_infer.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/example_infer.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/quantifiers/sygus/example_infer.cpp b/src/theory/quantifiers/sygus/example_infer.cpp index 12818685e..d701fe6d9 100644 --- a/src/theory/quantifiers/sygus/example_infer.cpp +++ b/src/theory/quantifiers/sygus/example_infer.cpp @@ -41,8 +41,7 @@ bool ExampleInfer::initialize(Node n, const std::vector<Node>& candidates) d_examplesOut[v].clear(); d_examplesTerm[v].clear(); } - std::map<std::pair<bool, bool>, std::unordered_set<Node, NodeHashFunction>> - visited; + std::map<std::pair<bool, bool>, std::unordered_set<Node>> visited; // n is negated conjecture if (!collectExamples(n, visited, true, false)) { @@ -86,8 +85,7 @@ bool ExampleInfer::initialize(Node n, const std::vector<Node>& candidates) bool ExampleInfer::collectExamples( Node n, - std::map<std::pair<bool, bool>, std::unordered_set<Node, NodeHashFunction>>& - visited, + std::map<std::pair<bool, bool>, std::unordered_set<Node>>& visited, bool hasPol, bool pol) { |