Package owl.automaton
Class Views.Filter.Builder<S>
- java.lang.Object
-
- owl.automaton.Views.Filter.Builder<S>
-
- Enclosing class:
- Views.Filter<S>
public abstract static class Views.Filter.Builder<S> extends Object
-
-
Constructor Summary
Constructors Constructor Description Builder()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract Views.Filter<S>
build()
abstract Views.Filter.Builder<S>
edgeFilter(BiPredicate<S,Edge<S>> filter)
abstract Views.Filter.Builder<S>
initialStates(Set<S> initialStates)
abstract Views.Filter.Builder<S>
stateFilter(Predicate<S> filter)
-
-
-
Method Detail
-
initialStates
public abstract Views.Filter.Builder<S> initialStates(@Nullable Set<S> initialStates)
-
stateFilter
public abstract Views.Filter.Builder<S> stateFilter(@Nullable Predicate<S> filter)
-
edgeFilter
public abstract Views.Filter.Builder<S> edgeFilter(@Nullable BiPredicate<S,Edge<S>> filter)
-
build
public abstract Views.Filter<S> build()
-
-