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