it->ldeg_b = b.ldegree(*(it->sym));
++it;
}
- sort(v.begin(), v.end());
+ std::sort(v.begin(), v.end());
#if 0
std::clog << "Symbols:\n";
it = v.begin(); itend = v.end();
return 0;
}
-void symmetry::print(const print_context & c, unsigned level = 0) const
+void symmetry::print(const print_context & c, unsigned level) const
{
debugmsg("symmetry print", LOGLEVEL_PRINT);
return label < o.label ? -1 : 1;
}
-void wildcard::print(const print_context & c, unsigned level = 0) const
+void wildcard::print(const print_context & c, unsigned level) const
{
debugmsg("wildcard print", LOGLEVEL_PRINT);