public StatusNode insert(Transition surrounding, EventNode ev)
{
var prev = surrounding.prev;
var here = surrounding.here;
var node = new StatusNode()
{
ev = ev
};
node.prev = prev;
node.next = here;
prev.next = node;
if (here != null)
{
here.prev = node;
}
return(node);
}
private bool findTransitionPredicate(EventNode ev, StatusNode here)
{
var comp = statusCompare(ev, here.ev);
return(comp > 0);
}
