public static final class ReuseCapableOracle.QueryResult<S,O> extends Object
S
newState
Word<O>
output
QueryResult(Word<O> output, S newState)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final Word<O> output
public final S newState
public QueryResult(Word<O> output, S newState)
Copyright © 2015. All rights reserved.