/// <summary>
/// Sets the nextDirective for this node.
/// </summary>
/// <param name="succ"></param>
/// <param name="succIndex"></param>
public void setSuccessor(Node succ, int succIndex)
{
if (this.successors == null)
{
createSlots();
}
successors.setSuccessor(succ, succIndex);
succ.predecessor = this;
succ.indexInParrentsSlot = succIndex;
}
