Package net.automatalib.util.automaton.predicate

Class TransitionPredicates

java.lang.Object

net.automatalib.util.automaton.predicate.TransitionPredicates

public final class TransitionPredicates
extends Object

Method Summary

Modifier and Type	Method	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(@Nullable Predicate<? super S> sourcePred, @Nullable Predicate<? super I> inputPred, @Nullable Predicate<? super T> transPred)
static <S,I,T> TransitionPredicate<S,I,T>	constantValue(boolean value)
static <S,I,T> TransitionPredicate<S,I,T>	inputIn(@Nullable Object... inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputIn(Collection<?> inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputIs(@Nullable Object input)
static <S,I,T> TransitionPredicate<S,I,T>	inputIsNot(@Nullable Object input)
static <S,I,T> TransitionPredicate<S,I,T>	inputNotIn(@Nullable Object... inputs)
static <S,I,T> TransitionPredicate<S,I,T>	inputNotIn(Collection<?> 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, @Nullable Object... outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputIn(TransitionOutput<? super T,?> transOut, Collection<?> outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputIs(TransitionOutput<? super T,?> transOut, @Nullable Object output)
static <S,I,T> TransitionPredicate<S,I,T>	outputIsNot(TransitionOutput<? super T,?> transOut, @Nullable Object output)
static <S,I,T> TransitionPredicate<S,I,T>	outputNotIn(TransitionOutput<? super T,?> transOut, @Nullable Object... outputs)
static <S,I,T> TransitionPredicate<S,I,T>	outputNotIn(TransitionOutput<? super T,?> transOut, Collection<?> 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(@Nullable 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(@Nullable TransitionPredicate<S,I,T> pred,
                                                                                  boolean nullValue)

compose

public static <S,I,T> TransitionPredicate<S,I,T> compose(@Nullable Predicate<? super S> sourcePred,
                                                                                 @Nullable Predicate<? super I> inputPred,
                                                                                 @Nullable 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(@Nullable Object input)

inputIsNot

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

inputIn

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

inputIn

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

inputNotIn

public static <S,I,T> TransitionPredicate<S,I,T> inputNotIn(@Nullable 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,
                                                                                  @Nullable 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,
                                                                                     @Nullable 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,
                                                                                  @Nullable 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,
                                                                                     @Nullable Object... outputs)

outputNotIn

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