A B C D E F G H I K L M N O P Q R S T U V W X Y Z 

R

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
 
A B C D E F G H I K L M N O P Q R S T U V W X Y Z