net.automatalib.util.automata.predicates

Class TransitionPredicates

java.lang.Object

net.automatalib.util.automata.predicates.TransitionPredicates

public final class TransitionPredicates
extends Object

Method Summary

Modifier and Type	Method and Description
static <S,I,T> TransitionPredicate<S,I,T>	alwaysFalse()
static <S,I,T> TransitionPredicate<S,I,T>	alwaysTrue()
static <S,I,T> TransitionPredicate<S,I,T>	compose(Predicate<? super S> sourcePred, Predicate<? super I> inputPred, Predicate<? super T> transPred)
static <S,I,T> TransitionPredicate<S,I,T>	constantValue(boolean value)
static <S,I,T> TransitionPredicate<S,I,T>	inputIn(Collection<?> inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputIn(Object... inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputIs(Object input)
static <S,I,T> TransitionPredicate<S,I,T>	inputIsNot(Object input)
static <S,I,T> TransitionPredicate<S,I,T>	inputNotIn(Collection<?> inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputNotIn(Object... inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputSatisfying(Predicate<? super I> inputPred)
static <S,I,T> TransitionPredicate<S,I,T>	outputIn(TransitionOutput<? super T,?> transOut, Collection<?> outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputIn(TransitionOutput<? super T,?> transOut, Object... outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputIs(TransitionOutput<? super T,?> transOut, Object output)
static <S,I,T> TransitionPredicate<S,I,T>	outputIsNot(TransitionOutput<? super T,?> transOut, Object output)
static <S,I,T> TransitionPredicate<S,I,T>	outputNotIn(TransitionOutput<? super T,?> transOut, Collection<?> outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputNotIn(TransitionOutput<? super T,?> transOut, Object... outputs)
static <S,I,T,O> TransitionPredicate<S,I,T>	outputSatisfies(TransitionOutput<? super T,? extends O> transOut, Predicate<? super O> outputPred)
static <S,I,T,O> TransitionPredicate<S,I,T>	outputViolates(TransitionOutput<? super T,? extends O> transOut, Predicate<? super O> outputPred)
static <S,I,T> TransitionPredicate<S,I,T>	safePred(TransitionPredicate<S,I,T> pred, boolean nullValue)
static <S,I,T> TransitionPredicate<S,I,T>	sourceSatisfying(Predicate<? super S> sourcePred)
static <S,I,T> TransitionPredicate<S,I,T>	transitionSatisfying(Predicate<? super T> transPred)

Methods inherited from class java.lang.Object

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

Method Detail

safePred

public static <S,I,T> TransitionPredicate<S,I,T> safePred(TransitionPredicate<S,I,T> pred,
                                                          boolean nullValue)

compose

public static <S,I,T> TransitionPredicate<S,I,T> compose(Predicate<? super S> sourcePred,
                                                         Predicate<? super I> inputPred,
                                                         Predicate<? super T> transPred)

alwaysTrue

public static <S,I,T> TransitionPredicate<S,I,T> alwaysTrue()

alwaysFalse

public static <S,I,T> TransitionPredicate<S,I,T> alwaysFalse()

constantValue

public static <S,I,T> TransitionPredicate<S,I,T> constantValue(boolean value)

sourceSatisfying

public static <S,I,T> TransitionPredicate<S,I,T> sourceSatisfying(Predicate<? super S> sourcePred)

inputSatisfying

public static <S,I,T> TransitionPredicate<S,I,T> inputSatisfying(Predicate<? super I> inputPred)

transitionSatisfying

public static <S,I,T> TransitionPredicate<S,I,T> transitionSatisfying(Predicate<? super T> transPred)

inputIs

public static <S,I,T> TransitionPredicate<S,I,T> inputIs(Object input)

inputIsNot

public static <S,I,T> TransitionPredicate<S,I,T> inputIsNot(Object input)

inputIn

@SafeVarargs
public static <S,I,T> TransitionPredicate<S,I,T> inputIn(Object... inputs)

inputIn

public static <S,I,T> TransitionPredicate<S,I,T> inputIn(Collection<?> inputs)

inputNotIn

@SafeVarargs
public static <S,I,T> TransitionPredicate<S,I,T> inputNotIn(Object... inputs)

inputNotIn

public static <S,I,T> TransitionPredicate<S,I,T> inputNotIn(Collection<?> inputs)

outputIs

public static <S,I,T> TransitionPredicate<S,I,T> outputIs(TransitionOutput<? super T,?> transOut,
                                                          Object output)

outputSatisfies

public static <S,I,T,O> TransitionPredicate<S,I,T> outputSatisfies(TransitionOutput<? super T,? extends O> transOut,
                                                                   Predicate<? super O> outputPred)

outputIsNot

public static <S,I,T> TransitionPredicate<S,I,T> outputIsNot(TransitionOutput<? super T,?> transOut,
                                                             Object output)

outputViolates

public static <S,I,T,O> TransitionPredicate<S,I,T> outputViolates(TransitionOutput<? super T,? extends O> transOut,
                                                                  Predicate<? super O> outputPred)

outputIn

public static <S,I,T> TransitionPredicate<S,I,T> outputIn(TransitionOutput<? super T,?> transOut,
                                                          Object... outputs)

outputIn

public static <S,I,T> TransitionPredicate<S,I,T> outputIn(TransitionOutput<? super T,?> transOut,
                                                          Collection<?> outputs)

outputNotIn

public static <S,I,T> TransitionPredicate<S,I,T> outputNotIn(TransitionOutput<? super T,?> transOut,
                                                             Object... outputs)

outputNotIn

public static <S,I,T> TransitionPredicate<S,I,T> outputNotIn(TransitionOutput<? super T,?> transOut,
                                                             Collection<?> outputs)