diff options
author | Tim King <taking@cs.nyu.edu> | 2010-02-04 00:47:45 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-02-04 00:47:45 +0000 |
commit | 7329c1f1e3603c86c7ad88cbdefe2393d9740d98 (patch) | |
tree | e48162e6caf29209ccc0d6bc2d56832b33d17859 /src/expr/node.cpp | |
parent | d5346f64d7031d17f865cb128d5f1171f60074ed (diff) |
Fixes to the cnf converter. Also a barebones utility for printing out a satisifying model.
Diffstat (limited to 'src/expr/node.cpp')
-rw-r--r-- | src/expr/node.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index 78c4f9186..cd61b257f 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -116,7 +116,7 @@ Node Node::xorExpr(const Node& right) const { return NodeManager::currentNM()->mkNode(XOR, *this, right); } -void indent(ostream & o, int indent){ +static void indent(ostream & o, int indent){ for(int i=0; i < indent; i++) o << ' '; } @@ -130,8 +130,10 @@ void Node::printAst(ostream & o, int ind) const{ }else if(getNumChildren() >= 1){ for(Node::iterator child = begin(); child != end(); ++child){ + o << endl; (*child).printAst(o, ind+1); } + o << endl; indent(o, ind); } o << ')'; |