Package de.learnlib.filter.reuse

Class ReuseOracle.ReuseOracleBuilder<S,I,O>

java.lang.Object

de.learnlib.filter.reuse.ReuseOracle.ReuseOracleBuilder<S,I,O>

Enclosing class:

ReuseOracle<S,I,O>

public static class ReuseOracle.ReuseOracleBuilder<S,I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
ReuseOracleBuilder(Alphabet<I> alphabet, Supplier<? extends ReuseCapableOracle<S,I,O>> oracleSupplier)

Method Summary

Modifier and Type	Method	Description
ReuseOracle<S,I,O>	build()
ReuseOracle.ReuseOracleBuilder<S,I,O>	withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withEnabledSystemStateInvalidation(boolean invalidate)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withFailureOutputs(Set<O> outputs)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withInvariantInputs(Set<I> inputs)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withMaxSystemStates(int maxSystemStates)
ReuseOracle.ReuseOracleBuilder<S,I,O>	withSystemStateHandler(SystemStateHandler<S> systemStateHandler)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReuseOracleBuilder

public ReuseOracleBuilder(Alphabet<I> alphabet,
                          Supplier<? extends ReuseCapableOracle<S,I,O>> oracleSupplier)

Method Detail

withSystemStateHandler

public ReuseOracle.ReuseOracleBuilder<S,I,O> withSystemStateHandler(SystemStateHandler<S> systemStateHandler)

withEnabledSystemStateInvalidation

public ReuseOracle.ReuseOracleBuilder<S,I,O> withEnabledSystemStateInvalidation(boolean invalidate)

withInvariantInputs

public ReuseOracle.ReuseOracleBuilder<S,I,O> withInvariantInputs(Set<I> inputs)

withFailureOutputs

public ReuseOracle.ReuseOracleBuilder<S,I,O> withFailureOutputs(Set<O> outputs)

withMaxSystemStates

public ReuseOracle.ReuseOracleBuilder<S,I,O> withMaxSystemStates(int maxSystemStates)

withAccessPolicy

public ReuseOracle.ReuseOracleBuilder<S,I,O> withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy)

withEvictPolicy

public ReuseOracle.ReuseOracleBuilder<S,I,O> withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy)

build

public ReuseOracle<S,I,O> build()