diff options
Diffstat (limited to 'src/smt/model_postprocessor.h')
-rw-r--r-- | src/smt/model_postprocessor.h | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/smt/model_postprocessor.h b/src/smt/model_postprocessor.h index d9e749677..a354315ef 100644 --- a/src/smt/model_postprocessor.h +++ b/src/smt/model_postprocessor.h @@ -24,28 +24,6 @@ namespace CVC4 { namespace smt { -class ModelPostprocessor { - std::hash_map<TNode, Node, TNodeHashFunction> d_nodes; - -public: - typedef Node return_type; - - Node rewriteAs(TNode n, TypeNode asType); - - bool alreadyVisited(TNode current, TNode parent) { - return d_nodes.find(current) != d_nodes.end(); - } - - void visit(TNode current, TNode parent); - - void start(TNode n) { } - - Node done(TNode n) { - Assert(alreadyVisited(n, TNode::null())); - TNode retval = d_nodes[n]; - return retval.isNull() ? n : retval; - } -};/* class ModelPostprocessor */ }/* CVC4::smt namespace */ }/* CVC4 namespace */ |