- Rational - Class in fr.inria.aoste.kpassa.util
-
- Rational() - Constructor for class fr.inria.aoste.kpassa.util.Rational
-
- Rational(short, short) - Constructor for class fr.inria.aoste.kpassa.util.Rational
-
- reInitAllVertexAndFRSched() - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- reInitAllVertexAndFRSched() - Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.SynchronousMarkedGraph
-
To reset the schedule of every vertex and fractional register
- reInitSteadyPartSchedule() - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- reInitSteadyPartSchedule() - Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.SynchronousMarkedGraph
-
To reset the steady part of the schedule
- removeArc(Arc) - Method in class fr.inria.aoste.kpassa.graph.impl.HashDiGraph
-
To remove an arc that belongs to the graph.
- removeArc(Arc) - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- removeArcListener(ArcListener) - Method in interface fr.inria.aoste.kpassa.graph.digraph.Arc
-
- removeArcListener(SDFArcListener) - Method in interface fr.inria.aoste.kpassa.graph.sdf.SDFArc
-
- removeArcListener(SMGArcListener) - Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.SMGArc
-
- removeAsynchMGArcListener(AsynchMGArcListener) - Method in interface fr.inria.aoste.kpassa.graph.asynchmarkedgraph.AsynchMGArc
-
- removeAsynchMGArcListener(AsynchMGArcListener) - Method in class fr.inria.aoste.kpassa.graph.impl.AsynchMGArcImpl
-
- removeLast() - Method in class fr.inria.aoste.kpassa.util.BinaryWord
-
To remove the last element of the word
- removeMGVertexListener(MGVertexListener) - Method in class fr.inria.aoste.kpassa.graph.impl.MGVertexImpl
-
- removeMGVertexListener(MGVertexListener) - Method in interface fr.inria.aoste.kpassa.graph.markedgraph.MGVertex
-
To remove a vertex listener
- removePort(PortDirection, int) - Method in interface fr.inria.aoste.kpassa.graph.digraph.Vertex
-
To remove a port to the vertex
- removePort(Port) - Method in interface fr.inria.aoste.kpassa.graph.digraph.Vertex
-
To remove a port to the vertex
- removeTokenFromPlace(int) - Method in interface fr.inria.aoste.kpassa.graph.asynchmarkedgraph.AsynchMGArc
-
Remove tokens to the marking
- removeTokenFromPlace(int) - Method in class fr.inria.aoste.kpassa.graph.impl.AsynchMGArcImpl
-
- removeVertex(Vertex) - Method in class fr.inria.aoste.kpassa.graph.impl.HashDiGraph
-
To remove a vertex.
- removeVertex(Vertex) - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- removeVertexListener(VertexListener) - Method in interface fr.inria.aoste.kpassa.graph.digraph.Vertex
-
- removeVertexListener(SDFVertexListener) - Method in class fr.inria.aoste.kpassa.graph.impl.SDFVertexImpl
-
- removeVertexListener(SDFVertexListener) - Method in interface fr.inria.aoste.kpassa.graph.sdf.SDFVertex
-
- rotate(int) - Method in class fr.inria.aoste.kpassa.util.BinaryWord
-
To rotate the word toward right.
- run(DiGraph) - Method in interface fr.inria.aoste.kpassa.algorithm.Algorithm
-
To launch the algorithm
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.AddLocalLoop
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.DotExporter
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.FindCycleAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.FindCycleThroughAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.FindIntersectionAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.FindReachableVerticesAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.FindStronglyConnectedComponents
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.digraph.ValidateAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.krg.CheckKRGFlowPreservation
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.krg.CheckKRGLivenessAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.krg.CheckKRGMaximumBufferSizeAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.markedgraph.CheckAMGLivenessAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.markedgraph.FindCriticalSCCsAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.markedgraph.FindCycleRateAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.markedgraph.FindPeriodicityAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.markedgraph.MinimumCycleMeanRatioAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.MG.simulator.MGSimulatorAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.sdf.CheckFlowPreservationAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.sdf.CheckLivenessAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.sdf.CheckMaximumBufferSizeAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.sdf.SDF2CFG
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.ComputeBalancedScheduleAlgorithm
-
Run the algorithm.
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputeInitialization
-
To run the algorithm.
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputeIOCycleAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputeIORateAdaptationAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputeMarking
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputePeriodicityAdaptationAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.balancedScheduling.step.ComputeSteadyScheduleAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.ComputeDAGSchedulingAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.equalization.ComputeEqualization
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.LucyNExporter
-
This methods performs the export.
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.ComputeGuidedInitializationAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.ComputeInitialSchedule
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.FindDelayPlacement
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.FindIsSteadyMarkingAlgorithm
-
- run(DiGraph) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.Simulator
-
- runSimulation() - Method in class fr.inria.aoste.kpassa.core.KPassa
-
Run an automatic ASAP simulation of the marked graph until it has reached
a marking that has already been encountered.