ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy) |
Sets the new value for the parameter accessPolicy and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet) |
Sets the new value for the parameter alphabet and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withEnabledSystemStateInvalidation(boolean enabledSystemStateInvalidation) |
Sets the new value for the parameter enabledSystemStateInvalidation and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy) |
Sets the new value for the parameter evictPolicy and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withFailureOutputs(Set<O> failureOutputs) |
Sets the new value for the parameter failureOutputs and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withInvariantInputs(Set<I> invariantInputs) |
Sets the new value for the parameter invariantInputs and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withMaxSystemStates(int maxSystemStates) |
Sets the new value for the parameter maxSystemStates and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withOracleSupplier(Supplier<? extends ReuseCapableOracle<S,I,O>> oracleSupplier) |
Sets the new value for the parameter oracleSupplier and returns this builder instance.
|
ReuseOracleBuilder<S,I,O> |
ReuseOracleBuilder.withSystemStateHandler(SystemStateHandler<S> systemStateHandler) |
Sets the new value for the parameter systemStateHandler and returns this builder instance.
|