mtor << "rank: " << rank() << '\n';
mtor << "# symbols: " << its.size() ;
- if (breakable()){
+ if (breakable_b()){
mtor << "\npre,post: ";
prebreak_p_->print();
postbreak_p_->print();
void
PCol::set_breakable()
{
- if (breakable())
+ if (breakable_b())
return;
prebreak_p_ = new PCol(this);
}
bool
-PCol::breakable() const
+PCol::breakable_b() const
{
return prebreak_p_||postbreak_p_;
}
bool
PCol::used()const
{
- return breakable() || its.size();
+ return breakable_b() || its.size();
}