public EvalStateNodeNumber newChildNum(int newStateNumber){
  int[] num=new int[stateNumber.length + 1];
  System.arraycopy(stateNumber,0,num,0,stateNumber.length);
  num[stateNumber.length]=newStateNumber;
  return new EvalStateNodeNumber(num);
}

public EvalStateNodeNumber newChildNum ( int newStateNumber ) { int [ ] num = new int [ stateNumber . length + 1 ] ; System . arraycopy ( stateNumber , 0 , num , 0 , stateNumber . length ) ; num [ stateNumber . length ] = newStateNumber ; return new EvalStateNodeNumber ( num ) ; }
generates a new child node number to the current node number with the given child id .
