Modifier and Type | Class and Description |
---|---|
class |
StateIDDynamicMapping<S extends NumericID,V> |
class |
StateIDGrowingMapping<S,V> |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AbstractFastMutable.createDynamicStateMapping() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
AbstractAutomatonGraphView.createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
AbstractAutomatonGraphView.createStaticNodeMapping() |
Modifier and Type | Class and Description |
---|---|
class |
StateIDStaticMapping<S,V> |
Modifier and Type | Method and Description |
---|---|
default <V> MutableMapping<S,V> |
SimpleAutomaton.createStaticStateMapping() |
Modifier and Type | Class and Description |
---|---|
class |
ArrayMapping<K extends NumericID,V> |
class |
MapMapping<D,R>
|
Modifier and Type | Method and Description |
---|---|
default <V> MutableMapping<N,V> |
IndefiniteSimpleGraph.createDynamicNodeMapping() |
<V> MutableMapping<N,V> |
IndefiniteSimpleGraph.NormalGraphView.createDynamicNodeMapping() |
default <V> MutableMapping<N,V> |
IndefiniteSimpleGraph.createStaticNodeMapping() |
<V> MutableMapping<N,V> |
IndefiniteSimpleGraph.NormalGraphView.createStaticNodeMapping() |
Modifier and Type | Method and Description |
---|---|
default <V> MutableMapping<S,V> |
SimpleTS.createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
default <V> MutableMapping<S,V> |
SimpleTS.createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
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 © 2019. All rights reserved.