Package owl.automaton

Interface SuccessorFunction<S>

All Superinterfaces:

Function<S,Collection<S>>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface SuccessorFunction<S>
extends Function<S,Collection<S>>

Method Summary

Modifier and Type	Method	Description
default Collection<S>	apply(S s)
static <S> SuccessorFunction<S>	filter(Automaton<S,?> automaton, Set<S> states)
static <S> SuccessorFunction<S>	filter(Automaton<S,?> automaton, Set<S> states, Predicate<? super Edge<S>> edgeFilter)
static <S> SuccessorFunction<S>	of(Function<S,? extends Collection<S>> successorFunction)
Collection<S>	successors(S state)	Returns all successors of the specified state.

Methods inherited from interface java.util.function.Function

andThen, compose

Method Detail

apply

default Collection<S> apply(S s)

Specified by:

apply in interface Function<S,Collection<S>>

successors

Collection<S> successors(S state)

Returns all successors of the specified state.

Parameters:

state - The starting state of the transition.

Returns:

The successor collection.

Throws:

IllegalArgumentException - If the transition function is not defined for state

filter

static <S> SuccessorFunction<S> filter(Automaton<S,?> automaton,
                                       Set<S> states)

filter

static <S> SuccessorFunction<S> filter(Automaton<S,?> automaton,
                                       Set<S> states,
                                       Predicate<? super Edge<S>> edgeFilter)

of

static <S> SuccessorFunction<S> of(Function<S,? extends Collection<S>> successorFunction)