Modifier and Type | Class and Description |
---|---|
class |
StateIDDynamicMapping<S extends NumericID,V> |
class |
StateIDGrowingMapping<S,V> |
class |
StateIDStaticMapping<S,V> |
Modifier and Type | Interface and Description |
---|---|
interface |
MutableMapping<D,R>
Mutable version of a
Mapping , which supports setting
keys for given values. |
Modifier and Type | Class and Description |
---|---|
class |
ArrayMapping<K extends NumericID,V> |
class |
MapMapping<D,R>
|
Modifier and Type | Method and Description |
---|---|
static <D,I,R> Mapping<D,R> |
Mappings.compose(Mapping<D,? extends I> first,
Mapping<? super I,R> second)
Retrieves the composition of two mappings, i.e., that mapping that
results from applying the
get(Object) method
consecutively. |
static <D,R> Mapping<D,R> |
Mappings.fromMap(Map<D,R> map) |
static <T> Mapping<T,T> |
Mappings.identity()
Retrieves the identity mapping, which maps each domain value
to itself.
|
static <D,R> Mapping<D,R> |
Mappings.nullMapping()
Retrieves the
null mapping, which maps each domain value
to null . |
static <D> Mapping<D,String> |
Mappings.toStringMapping()
Returns a mapping that maps objects to their
String representation,
as obtained by String.valueOf(Object) . |
static <S,T extends S> |
Mappings.upcast()
Returns a mapping that maps objects to a supertype representation.
|
Modifier and Type | Method and Description |
---|---|
static <D,R> Collection<R> |
Mappings.apply(Mapping<? super D,R> mapping,
Collection<? extends D> coll)
Applies a mapping to a collection, resulting in a collection containing
the result of applying the specified mapping to each element in the
collection.
|
static <D,R> Iterable<R> |
Mappings.apply(Mapping<? super D,R> mapping,
Iterable<? extends D> it)
Applies a mapping to an iterable.
|
static <D,R> Iterator<R> |
Mappings.apply(Mapping<? super D,R> mapping,
Iterator<? extends D> baseIt)
Applies a mapping to an iterator.
|
static <D,R> List<R> |
Mappings.apply(Mapping<? super D,R> mapping,
List<? extends D> list)
Applies a mapping to a list, resulting in a list containing the result
of applying the specified mapping to each element in the list.
|
static <D,I,R> Mapping<D,R> |
Mappings.compose(Mapping<D,? extends I> first,
Mapping<? super I,R> second)
Retrieves the composition of two mappings, i.e., that mapping that
results from applying the
get(Object) method
consecutively. |
static <D,I,R> Mapping<D,R> |
Mappings.compose(Mapping<D,? extends I> first,
Mapping<? super I,R> second)
Retrieves the composition of two mappings, i.e., that mapping that
results from applying the
get(Object) method
consecutively. |
static <D> D |
Mappings.idGet(Mapping<D,D> mapping,
D key) |
static <D,R> R |
Mappings.nullGet(Mapping<? super D,? extends R> mapping,
D key) |
static <D,R> R |
Mappings.safeGet(Mapping<? super D,R> mapping,
D key,
R fallback)
Safely retrieves a value from a mapping.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphDOTHelper.writePostamble(Mapping<N,String> identifiers,
Appendable a)
Called after the node and edge data are written, but before
the closing brace.
|
void |
EmptyDOTHelper.writePostamble(Mapping<N,String> identifiers,
Appendable a) |
void |
DefaultDOTHelper.writePostamble(Mapping<N,String> identifiers,
Appendable a) |
void |
DelegateDOTHelper.writePostamble(Mapping<N,String> identifiers,
Appendable a) |
void |
AggregateDOTHelper.writePostamble(Mapping<N,String> identifiers,
Appendable a) |
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)
Copies a
UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties. |
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)
Copies a
UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition
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)
Copies a
UniversalAutomaton with compatible input alphabets and 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)
Copies a
UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous
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. |
Mapping<S1,S2> |
LowLevelAutomatonCopier.getStateMapping() |
Mapping<S1,S2> |
AbstractLowLevelAutomatonCopier.getStateMapping() |
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)
Copies an
Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and
state and transition properties. |
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)
Copies an
Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous 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. |
Modifier and Type | Method and Description |
---|---|
static <S1,T1,S2,I,O> |
MealyFilter.filterByOutput(MealyMachine<S1,I,T1,O> in,
Collection<? extends I> inputs,
MutableMealyMachine<S2,I,?,O> out,
Predicate<? super O> outputPred) |
Modifier and Type | Class and Description |
---|---|
class |
OutEdgesMapping<N,E> |
Modifier and Type | Method and Description |
---|---|
static <E,EP> Mapping<E,EP> |
Graphs.edgeProperties(UniversalIndefiniteGraph<?,E,?,EP> graph) |
static <N,E> Mapping<N,? extends Collection<? extends E>> |
Graphs.incomingEdges(Graph<N,E> graph) |
static <N,NP> Mapping<N,NP> |
Graphs.nodeProperties(UniversalIndefiniteGraph<N,?,NP,?> graph) |
Modifier and Type | Method and Description |
---|---|
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyPlain(Graph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyPlain(UniversalGraph<N1,E1,? extends NP2,? extends EP2> in,
MutableGraph<N2,E2,NP2,EP2> out) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyTraversal(UniversalIndefiniteGraph<N1,E1,? extends NP2,? extends EP2> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
Modifier and Type | Method and Description |
---|---|
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyPlain(Graph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyPlain(Graph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super N1,? extends NP2> npMapping,
Mapping<? super E1,? extends EP2> epMapping) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
TraversalOrder order,
int limit,
Collection<? extends N1> initialNodes,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
Modifier and Type | Class and Description |
---|---|
class |
BlockMap<V>
Class for associating arbitrary values with the blocks of a minimization
result.
|
Modifier and Type | Method and Description |
---|---|
static <S> Mapping<S,Boolean> |
Acceptors.acceptance(AcceptorTS<S,?> acceptor) |
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)
Copies a
UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties. |
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)
Copies a
UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition
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)
Copies a
UniversalAutomaton with compatible input alphabets and 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)
Copies a
UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous
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. |
Mapping<S1,S2> |
TSCopyVisitor.getStateMapping() |
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)
Copies an
Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and
state and transition 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)
Copies an
Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous 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. |
Copyright © 2015. All rights reserved.