Package de.learnlib.filter.reuse.tree
Class ReuseTree.ReuseTreeBuilder<S,I,O>
- java.lang.Object
-
- de.learnlib.filter.reuse.tree.ReuseTree.ReuseTreeBuilder<S,I,O>
-
-
Constructor Summary
Constructors Constructor Description ReuseTreeBuilder(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ReuseTree<S,I,O>
build()
ReuseTree.ReuseTreeBuilder<S,I,O>
withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy)
ReuseTree.ReuseTreeBuilder<S,I,O>
withEnabledSystemstateInvalidation(boolean invalidate)
ReuseTree.ReuseTreeBuilder<S,I,O>
withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy)
ReuseTree.ReuseTreeBuilder<S,I,O>
withFailureOutputs(Set<O> outputs)
ReuseTree.ReuseTreeBuilder<S,I,O>
withInvariantInputs(Set<I> inputs)
ReuseTree.ReuseTreeBuilder<S,I,O>
withMaxSystemStates(int maxSystemStates)
ReuseTree.ReuseTreeBuilder<S,I,O>
withSystemStateHandler(SystemStateHandler<S> systemStateHandler)
-
-
-
Method Detail
-
withSystemStateHandler
public ReuseTree.ReuseTreeBuilder<S,I,O> withSystemStateHandler(SystemStateHandler<S> systemStateHandler)
-
withEnabledSystemstateInvalidation
public ReuseTree.ReuseTreeBuilder<S,I,O> withEnabledSystemstateInvalidation(boolean invalidate)
-
withMaxSystemStates
public ReuseTree.ReuseTreeBuilder<S,I,O> withMaxSystemStates(int maxSystemStates)
-
withAccessPolicy
public ReuseTree.ReuseTreeBuilder<S,I,O> withAccessPolicy(BoundedDeque.AccessPolicy accessPolicy)
-
withEvictPolicy
public ReuseTree.ReuseTreeBuilder<S,I,O> withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy)
-
-