Actions(Validator * v,const State * s) {  int lastActiveLayer = 0;  for(State::const_iterator i = s->begin();i != s->end();++i)  {   Literal * lit = toLiteral(*i);   PropEntry * pe = props.findInAll(lit);   lastActiveLayer = std::max(lastActiveLayer,pe->getWhen());  };  vector<ActEntry *> actives;  for(Spike<ActEntry>::SpikeIterator i = acts.begin();i != acts.toLevel(lastActiveLayer);++i)  { 