public static class ReuseOracle.ReuseOracleBuilder<S,I,O> extends Object
Constructor and Description |
---|
ReuseOracleBuilder(net.automatalib.words.Alphabet<I> alphabet,
Supplier<? extends ReuseCapableOracle<S,I,O>> oracleSupplier) |
Modifier and Type | Method and 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) |
public ReuseOracle.ReuseOracleBuilder<S,I,O> withSystemStateHandler(SystemStateHandler<S> systemStateHandler)
public ReuseOracle.ReuseOracleBuilder<S,I,O> withEnabledSystemstateInvalidation(boolean invalidate)
public ReuseOracle.ReuseOracleBuilder<S,I,O> withMaxSystemStates(int maxSystemStates)
public ReuseOracle.ReuseOracleBuilder<S,I,O> withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy)
public ReuseOracle.ReuseOracleBuilder<S,I,O> withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy)
public ReuseOracle<S,I,O> build()
Copyright © 2018. All rights reserved.