JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
V
W
H
has1inLastPlace()
- Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.
SMGArc
To know whether the marking is such that the last bit (first token available to the head vertex) is true
hasBeenExecuted(List<MGVertex>)
- Method in class fr.inria.aoste.kpassa.algorithm.krg.
ComputeInitializationFireableStrategy
hasBeenExecuted(List<MGVertex>)
- Method in class fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.
AllPossibleVerticesStrategy
hasBeenExecuted(List<MGVertex>)
- Method in interface fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.
FireableStrategy
This method is called automatically by
MGSimulatorAlgorithm
at every step of execution after than vertices has been fired.
hasBeenExecuted(List<MGVertex>)
- Method in class fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.
ForNStepsFireableStrategyDecorator
hasBeenExecuted(List<MGVertex>)
- Method in class fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.
MGEachFiredOnceFireableStrategy
hasBeenExecuted(List<MGVertex>)
- Method in class fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.
SDFBoundedStrategy
hasBeenFired(MGVertex)
- Method in class fr.inria.aoste.kpassa.graph.impl.
AsynchMGImpl
hasBeenFired(MGVertex)
- Method in class fr.inria.aoste.kpassa.graph.impl.
SynchronousMarkedGraphImpl
hasBeenFired(MGVertex)
- Method in interface fr.inria.aoste.kpassa.graph.markedgraph.
MGVertexListener
Called during simulation when the vertex has been fired.
HashDiGraph
- Class in
fr.inria.aoste.kpassa.graph.impl
This class deals with the topology of the graph.
HashDiGraph(String)
- Constructor for class fr.inria.aoste.kpassa.graph.impl.
HashDiGraph
hasValueInFR()
- Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.
SMGArc
Check the number of value in the fractional register
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
V
W
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes