Hello Rules - neighbor TO

crl [nNeighborTimeout] :

< xid:Hello-Node | up:true,

neighbors: xNLa @ xidN @ xNLd,

neighborTimers: xNTLa @ xidNT @ xNTLd,

timerSet: xTS U < xidNT:Timer | on:true, time:0 >

> xConf

< xid:Hello-Node |

neighborTimers: xNTLa @ xNTLd,

neighbors: xNLa @ xNLd,

timerSet: xTS

> xConf

if (not( < xidNT:Timer | on:true, time:0 > in xTS)

and (length(xNLa) == length(xNTLa))) fi .