Пример #1
0
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];
}
Пример #2
0
bool Signal::isLeftTerminus()
{
  return getConsensusPosition()<0;
}
Пример #3
0
void Signal::printOn(ostream &os) const
{
  os<<getSignalType()<<"@"<<getConsensusPosition()<<":"<<*propagators[propagators[1] ? 1 :0];
}