Commit 3440d332 authored by Simon de Givry's avatar Simon de Givry
Browse files

print initial upper bound just before search

parent ab6c5801
......@@ -849,7 +849,10 @@ bool Solver::solve()
wcsp->propagate(); // initial propagation
wcsp->preprocessing(); // preprocessing after initial propagation
if (ToulBar2::verbose >= 1||(!ToulBar2::xmlflag && !ToulBar2::uai)) cout << wcsp->numberOfUnassignedVariables() << " unassigned variables, " << wcsp->getDomainSizeSum() << " values in all current domains and " << wcsp->numberOfConnectedConstraints() << " constraints." << endl;
if (ToulBar2::verbose >= 1||(!ToulBar2::xmlflag && !ToulBar2::uai)) {
cout << wcsp->numberOfUnassignedVariables() << " unassigned variables, " << wcsp->getDomainSizeSum() << " values in all current domains and " << wcsp->numberOfConnectedConstraints() << " constraints." << endl;
cout << "Initial upper bound: " << wcsp->getUb() << endl;
}
if (ToulBar2::singletonConsistency) {
singletonConsistency();
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment