Package de.learnlib.filter.reuse

Class ReuseCapableOracle.QueryResult<S,O>

java.lang.Object

de.learnlib.filter.reuse.ReuseCapableOracle.QueryResult<S,O>

Enclosing interface:

ReuseCapableOracle<S,I,O>

public static final class ReuseCapableOracle.QueryResult<S,O>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
S	newState
Word<O>	output

Constructor Summary

Constructors

Constructor	Description
QueryResult(Word<O> output, S newState)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

output

public final Word<O> output

newState

public final S newState

Constructor Detail

QueryResult

public QueryResult(Word<O> output,
                   S newState)