/**
* Loads a <code>DecisionState</code> object from the given input stream.
*
* @param dis the data input stream
* @return a newly constructed decision state
* @throws IOException if an error occurs
*/
public static State loadBinary(DataInputStream dis) throws IOException {
int index = dis.readInt();
char c = dis.readChar();
int qtrue = dis.readInt();
int qfalse = dis.readInt();
return new DecisionState(index, c, qtrue, qfalse);
}
