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> |
FastMutableNondet.createDynamicStateMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createDynamicStateMapping() |
<V> MutableMapping<S,V> |
FastMutableNondet.createStaticStateMapping() |
<V> MutableMapping<S,V> |
FastMutableDet.createStaticStateMapping() |
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> |
IndefiniteGraph.createDynamicNodeMapping() |
default <V> MutableMapping<N,V> |
IndefiniteGraph.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 | 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.