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
All Methods Instance Methods Concrete Methods 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)
-
-
-
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()
-
-