public Node.State Update()
{
if (rootNode.state == Node.State.Running)
{
treeState = rootNode.Update();
}
return(treeState);
}
public Execution(Node actor, int term) : this()
{
this.first = actor;
firstState = actor.CurrentState;
firstTerm = actor.CurrentTerm;
stamp = DateTime.Now;
this.term = term;
}