Package | Description |
---|---|
net.automatalib.util.automata.copy | |
net.automatalib.util.automata.predicates | |
net.automatalib.util.ts.copy |
Modifier and Type | Field and Description |
---|---|
protected TransitionPredicate<? super S1,? super I1,? super T1> |
AbstractLowLevelAutomatonCopier.transFilter |
Modifier and Type | Method and Description |
---|---|
static <S1,I1,T1,SP,TP,S2,I2,T2> |
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> |
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. |
static <S1,I,T1,SP,TP,S2,T2> |
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,I2,T2,SP2,TP2> |
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. |
<S1,I1,T1,S2,I2,T2,SP2,TP2> |
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,I1,T1,S2,I2,T2,SP2,TP2> |
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. |
static <S1,I,T1,S2,T2,SP2,TP2> |
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. |
Constructor and 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) |
Modifier and Type | Method and 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(Predicate<? super S> sourcePred,
Predicate<? super I> inputPred,
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(Collection<?> inputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.inputIn(Object... inputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.inputIs(Object input) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.inputIsNot(Object input) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.inputNotIn(Collection<?> inputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.inputNotIn(Object... 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,
Collection<?> outputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.outputIn(TransitionOutput<? super T,?> transOut,
Object... outputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.outputIs(TransitionOutput<? super T,?> transOut,
Object output) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.outputIsNot(TransitionOutput<? super T,?> transOut,
Object output) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.outputNotIn(TransitionOutput<? super T,?> transOut,
Collection<?> outputs) |
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.outputNotIn(TransitionOutput<? super T,?> transOut,
Object... 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(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) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> TransitionPredicate<S,I,T> |
TransitionPredicates.safePred(TransitionPredicate<S,I,T> pred,
boolean nullValue) |
static <S,I,T> Predicate<T> |
TransitionPredicates.toUnaryPredicate(TransitionPredicate<? super S,? super I,? super T> transPred,
S source,
I input) |
Modifier and Type | Method and Description |
---|---|
static <S1,I1,T1,SP,TP,S2,I2,T2> |
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> |
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,SP,TP,S2,T2> |
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,I2,T2,SP2,TP2> |
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,S2,I2,T2,SP2,TP2> |
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. |
static <S1,I,T1,S2,T2,SP2,TP2> |
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. |
Constructor and 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) |
Copyright © 2015. All rights reserved.