Sort the logical vars of the constraint tree when exporting to graphviz
This commit is contained in:
parent
046af409ba
commit
af8497af6e
@ -527,7 +527,7 @@ ConstraintTree::exportToGraphViz (
|
||||
}
|
||||
out << "digraph {" << endl;
|
||||
ConstraintTree copy (*this);
|
||||
// copy.moveToTop (copy.logVarSet_.elements());
|
||||
copy.moveToTop (copy.logVarSet_.elements());
|
||||
CTNodes nodes = getNodesBelow (copy.root_);
|
||||
out << "\"" << copy.root_ << "\"" << " [label=\"R\"]" << endl;
|
||||
for (CTNodes::const_iterator it = ++ nodes.begin();
|
||||
|
Reference in New Issue
Block a user