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>

Enclosing class:

ReuseTree<S,I,O>

public static class ReuseTree.ReuseTreeBuilder<S,I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
ReuseTreeBuilder(Alphabet<I> alphabet)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReuseTreeBuilder

public ReuseTreeBuilder(Alphabet<I> alphabet)

Method Detail

withSystemStateHandler

public ReuseTree.ReuseTreeBuilder<S,I,O> withSystemStateHandler(SystemStateHandler<S> systemStateHandler)

withEnabledSystemstateInvalidation

public ReuseTree.ReuseTreeBuilder<S,I,O> withEnabledSystemstateInvalidation(boolean invalidate)

withInvariantInputs

public ReuseTree.ReuseTreeBuilder<S,I,O> withInvariantInputs(Set<I> inputs)

withFailureOutputs

public ReuseTree.ReuseTreeBuilder<S,I,O> withFailureOutputs(Set<O> outputs)

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)

build

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