- r - Variable in class exploration.paretoExploration.distanceexploration.Knee
-
- raiseError(String) - Static method in class tests.TrySafety
-
- randomNumberGen - Variable in class output.GanttChart
-
Random number generator
- randomStrategyOrder - Variable in class graphanalysis.scheduling.ListScheduling
-
assigns random unique index for each actor
- rate - Variable in class spdfcore.Port
-
- reachability - Variable in class graphanalysis.scheduling.Apgan
-
Reachability matrix
- readExploredPoints(String) - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
-
If we want to continue a previous exploration, we could just read the log file and
continue from the point where the exploration stopped.
- readExploredPoints(String) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
If we want to continue a previous exploration, we could just read the log file and
continue from the point where the exploration stopped.
- readFileToArray(String, String[], List<Integer>) - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
-
Read a log file of exploration to read SAT / UNSAT / TIMED OUT points.
- readFileToArray(String, String[], List<Point>) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Read a log file of exploration to read SAT / UNSAT / TIMED OUT points.
- readModelFile(String, List<Map<String, String>>) - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
-
Convert the string in the model file to List of model maps.
- readModelFile(String, List<Map<String, String>>) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Convert the string in the model file to List of model maps.
- readyList - Variable in class graphanalysis.scheduling.ListScheduling
-
Ready list for scheduling
- recExplore(Actor, Graph, Stack<Actor>, Set<Actor>, boolean) - Method in class graphanalysis.DepthFirstSearch
-
Recursively explores the given node with a DFS, adding it to the output
list once the exploration is complete.
- records - Variable in class output.GanttChart
-
List of records to generate Gantt Chart.
- relaxEdges() - Method in class graphanalysis.BellmanFord
-
Relax all the edges
- remove(Actor) - Method in class spdfcore.Graph
-
Removes actor and all channels that are bound to it.
- remove(Channel) - Method in class spdfcore.Graph
-
Removes a channel from the graph.
- removeDescendant(int) - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- removeWhitespaceNodes(Element) - Static method in class input.ParseHardwarePlatform
-
Remove the white spaces from XML nodes
- repCount - Variable in class graphanalysis.scheduling.Apgan
-
Repetition count with respect to channels
- repeatedStateIndex - Variable in class graphanalysis.throughput.Throughput.TransitionSystem.State
-
- resetSolver() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
- resetSolver() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- resetSolver() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
- resetSolver() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
- resetSolver() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
- resetSolver() - Method in class solver.Z3Solver
-
Reset the Z3 Solver.
- resolveDmaTaskExecutionTime() - Method in class designflow.DesignFlowSolution.Mapping
-
Resolve the execution times for all the DMA actors
- returnNumber() - Method in class spdfcore.stanalys.Expression
-
Get a number from the expression
- rightNode - Variable in class graphanalysis.scheduling.Schedule.Node
-
- run() - Method in class spdfcore.stanalys.SpdfAnalyzer
-
- run(String[][], String[][], boolean) - Method in class tests.TryLiveness
-
Procedure to check the liveness of an SPDF graph
- run(String[][], String[][], boolean) - Method in class tests.TrySafety
-
- run(String[][], String[][]) - Method in class underDevelopment.TryQuasiStatic
-