Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AbstractDeterministicAutomaton.createStaticStateMapping() |
<V> MutableMapping<S,V> |
AbstractAutomaton.createStaticStateMapping() |
static <S,I,T,V> MutableMapping<S,V> |
AbstractAutomaton.createStaticStateMapping(Automaton<S,I,T> $this) |
Modifier and Type | Class and Description |
---|---|
class |
StateIDDynamicMapping<S extends NumericID,V> |
class |
StateIDGrowingMapping<S,V> |
class |
StateIDStaticMapping<S,V> |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<Integer,V> |
AbstractCompactSimpleNondet.createDynamicNodeMapping() |
<V> MutableMapping<Integer,V> |
AbstractCompactSimpleDet.createDynamicNodeMapping() |
<V> MutableMapping<Integer,V> |
AbstractCompactDeterministic.createDynamicNodeMapping() |
<V> MutableMapping<Integer,V> |
AbstractCompactSimpleNondet.createStaticNodeMapping() |
<V> MutableMapping<Integer,V> |
AbstractCompactSimpleDet.createStaticNodeMapping() |
<V> MutableMapping<Integer,V> |
AbstractCompactDeterministic.createStaticNodeMapping() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
FastMutableNondet.createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
FastMutableNondet.createDynamicStateMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createDynamicStateMapping() |
<V> MutableMapping<S,V> |
FastMutableNondet.createStaticNodeMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createStaticNodeMapping() |
<V> MutableMapping<S,V> |
FastMutableNondet.createStaticStateMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createStaticStateMapping() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<FastDFAState,V> |
FastDFA.createDynamicNodeMapping() |
<V> MutableMapping<FastDFAState,V> |
FastDFA.createStaticNodeMapping() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AbstractAutomatonGraph.createDynamicNodeMapping() |
static <S,I,T,V> MutableMapping<S,V> |
AbstractAutomatonGraph.createDynamicNodeMapping(Automaton<S,I,T> $this) |
<V> MutableMapping<S,V> |
AbstractAutomatonGraph.createStaticNodeMapping() |
static <S,I,T,V> MutableMapping<S,V> |
AbstractAutomatonGraph.createStaticNodeMapping(Automaton<S,I,T> $this) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<State,V> |
AbstractBricsAutomaton.createDynamicNodeMapping() |
<V> MutableMapping<State,V> |
AbstractBricsAutomaton.createStaticNodeMapping() |
Modifier and Type | Class and Description |
---|---|
class |
ArrayMapping<K extends NumericID,V> |
class |
MapMapping<D,R>
|
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<N,V> |
IndefiniteGraph.createDynamicNodeMapping() |
<V> MutableMapping<N,V> |
IndefiniteGraph.createStaticNodeMapping() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<N,V> |
AbstractIndefiniteGraph.createDynamicNodeMapping() |
static <N,E,V> MutableMapping<N,V> |
AbstractIndefiniteGraph.createDynamicNodeMapping(IndefiniteGraph<N,E> $this)
Provides a realization for
IndefiniteGraph.createDynamicNodeMapping()
by defaulting to a HashMap backed mapping. |
<V> MutableMapping<N,V> |
AbstractIndefiniteGraph.createStaticNodeMapping() |
static <N,E,V> MutableMapping<N,V> |
AbstractIndefiniteGraph.createStaticNodeMapping(IndefiniteGraph<N,E> $this)
Provides a realization for
IndefiniteGraph.createStaticNodeMapping()
by defaulting to a HashMap backed mapping. |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AbstractTS.createDynamicStateMapping() |
static <S,I,T,V> MutableMapping<S,V> |
AbstractTS.createDynamicStateMapping(TransitionSystem<S,I,T> $this) |
<V> MutableMapping<S,V> |
AbstractTS.createStaticStateMapping() |
static <S,I,T,V> MutableMapping<S,V> |
AbstractTS.createStaticStateMapping(TransitionSystem<S,I,T> $this) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
SimpleTS.createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
<V> MutableMapping<S,V> |
SimpleTS.createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AutomatonAsGraph.createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
AutomatonAsGraph.createStaticNodeMapping() |
Modifier and Type | Field and Description |
---|---|
protected MutableMapping<S1,S2> |
AbstractLowLevelAutomatonCopier.stateMapping |
Modifier and Type | Class and Description |
---|---|
class |
BlockMap<V>
Class for associating arbitrary values with the blocks of a minimization
result.
|
Copyright © 2015. All rights reserved.