don't print the paramaters if they are more than 32

This commit is contained in:
Tiago Gomes 2012-04-27 01:19:28 +01:00
parent af063dcda8
commit 7599ccd5a1

View File

@ -538,7 +538,12 @@ Parfactor::print (bool printParams) const
cout << "LogVars: " << constr_->logVarSet() << endl; cout << "LogVars: " << constr_->logVarSet() << endl;
cout << "Ranges: " << ranges_ << endl; cout << "Ranges: " << ranges_ << endl;
if (printParams == false) { if (printParams == false) {
cout << "Params: " << params_ << endl; cout << "Params: " ;
if (params_.size() <= 32) {
cout << params_ << endl;
} else {
cout << "|" << params_.size() << "|" << endl;
}
} }
ConstraintTree copy (*constr_); ConstraintTree copy (*constr_);
copy.moveToTop (copy.logVarSet().elements()); copy.moveToTop (copy.logVarSet().elements());