void Signal::printOn(ostream &os) const { //os<<getSignalType()<<"@"<<getConsensusPosition()<<":"<<*propagators[propagators[1] ? 1 :0]; const int n=belongsInWhichQueues().size(); os<<getSignalType()<<"@"<<getConsensusPosition(); for(int i=0 ; i<n ; ++i) os<<">"<<*propagators[i]; }
bool Signal::isLeftTerminus() { return getConsensusPosition()<0; }
void Signal::printOn(ostream &os) const { os<<getSignalType()<<"@"<<getConsensusPosition()<<":"<<*propagators[propagators[1] ? 1 :0]; }