Uses of Interface
net.automatalib.ts.TransitionPredicate

Packages that use TransitionPredicate

Package	Description
net.automatalib.util.automaton.copy
net.automatalib.util.automaton.predicate
net.automatalib.util.ts.copy

Uses of TransitionPredicate in net.automatalib.util.automaton.copy

Fields in net.automatalib.util.automaton.copy declared as TransitionPredicate

Modifier and Type	Field	Description
protected TransitionPredicate<? super S1,? super I1,? super T1>	AbstractLowLevelAutomatonCopier.transFilter

Methods in net.automatalib.util.automaton.copy with parameters of type TransitionPredicate

Modifier and Type	Method	Description
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP,? extends TP> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP1,? extends TP1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP,? extends TP> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP1,? extends TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
<S1,I1,T1,S2,I2,T2,SP2,TP2> LowLevelAutomatonCopier<S1,S2>	AutomatonCopyMethod.createLowLevelCopier(Automaton<S1,? super I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transitionFilter)
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I,T1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.

Constructors in net.automatalib.util.automaton.copy with parameters of type TransitionPredicate

Constructor	Description
AbstractLowLevelAutomatonCopier(TS1 in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)

Uses of TransitionPredicate in net.automatalib.util.automaton.predicate

Methods in net.automatalib.util.automaton.predicate that return TransitionPredicate

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

Methods in net.automatalib.util.automaton.predicate with parameters of type TransitionPredicate

Modifier and Type	Method	Description
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.safePred(@Nullable TransitionPredicate<S,I,T> pred, boolean nullValue)

Uses of TransitionPredicate in net.automatalib.util.ts.copy

Methods in net.automatalib.util.ts.copy with parameters of type TransitionPredicate

Modifier and Type	Method	Description
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I,T1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I1,T1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies an TransitionSystem to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.

Constructors in net.automatalib.util.ts.copy with parameters of type TransitionPredicate

Constructor	Description
TSCopyVisitor(TransitionSystem<S1,? super I1,T1> in, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)