Class State.StateSpaceGeneratorResult

java.lang.Object
jline.lang.state.State.StateSpaceGeneratorResult
Enclosing class:
State

public static class State.StateSpaceGeneratorResult extends Object