private int getHash(State S, Action A) {
   // TODO correct?
   return Long.hashCode(S.hashCode() + dimsSize * A.ordinal());
 }