- b - Variable in class exploration.paretoExploration.distanceexploration.Knee
-
- basicLeftEdge(LeftEdgeModelToSchedule.OccupancyVector, LeftEdgeModelToSchedule.UnfoldModel, int) - Static method in class graphanalysis.scheduling.LeftEdgeModelToSchedule
-
- BellmanFord - Class in graphanalysis
-
Bellman-Ford algorithm that computes shortest or longest paths from a
single source vertex to other vertices in a weighted graph.
- BellmanFord(Graph, HashMap<Channel, String>) - Constructor for class graphanalysis.BellmanFord
-
Initialize Bellman-Ford algorithm object.
- binarySearch(int, double, double, Point, double) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Perform a binary search on a given dimension.
- BinarySearchOneDim - Class in exploration.oneDimensionExploration
-
- BinarySearchOneDim(String, int, int, ExplorationParameters) - Constructor for class exploration.oneDimensionExploration.BinarySearchOneDim
-
Initialize Binary search explorer for one dimension
- bind(Channel.Link) - Method in class spdfcore.Actor
-
connect actor to one side (link) of a channel
(called by the channel)
- bind(PortRef, PortRef) - Method in class spdfcore.Channel
-
Let the channel bind the two specified ports.
- bind(PortRef, Port.DIR) - Method in class spdfcore.Channel
-
Bind a port of an actor.
- bottomLeftX - Variable in class output.GanttChart.Record
-
Bottom left x co-ordinate
- bottomLeftY - Variable in class output.GanttChart.Record
-
Bottom left y co-ordinate
- boundsOnGroupCluster() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Put Lower and upper bound on cluster where a group cal be allocated
- BreadthFirstSearch - Class in graphanalysis
-
Traverse a graph with breadth first search
- BreadthFirstSearch(Graph, Solutions) - Constructor for class graphanalysis.BreadthFirstSearch
-
Initialize a BFS object.
- bufferAnalysis - Variable in class input.CommandLineArgs
-
Perform buffer analysis
- bufferAnalysis - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Enable calculation of communication buffer size
- bufferAnalysis - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- bufferAnalysis - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Enable buffer analysis
- bufferAnalysisWithFunctions - Variable in class input.CommandLineArgs
-
Use functions in SMT solving for Buffer Analysis
- bufferAnalysisWithFunctions - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Enable buffer analysis using functions (true)
or with if-else statements (false)
- bufferAtId(String, String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for buffer size at a producer of a channel connecting two actors
- bufferAtId(String, String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for buffer size at a producer of a channel connecting two actors
- bufferAtPrefix - Static variable in class solver.SmtVariablePrefixes
-
Buffer when a task starts/finishes to execute
- BufferConstraints - Interface in exploration.interfaces.oneDim
-
Buffer size exploration
- bufferDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variables for buffer calculation of all the channels.
- bufferDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- bufferDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variables for buffer calculation of the channels
- bufferFuncDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variables for Function declaration for buffer analysis
- bufferIndexPrefix - Static variable in class solver.SmtVariablePrefixes
-
Index for a buffer.
- bufferPrefix - Static variable in class solver.SmtVariablePrefixes
-
Buffer size for a channel.
- bufferSizeMap - Variable in class designflow.DesignFlowSolution.Schedule
-
Map containing buffer size value for each channel.
- buffId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for buffer size at a given index of the producer for a channel.
- buffId(String, Expr) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for buffer size at a given index of the producer for a channel.
- buffPipelinedDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT variables for buffer calculation
- buildExpectedGraph() - Static method in class tests.TryApplicationXML
-
This function builds the SDF graph that is being represented in the XML file.
- buildOverlappingActorList() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Build a list of actors which can execute in parallel.
- buildProcessorSchedule(Map<String, String>) - Method in class platform.tilera.scheduleXML.NonPipelinedScheduleXml
-
For each processor build a static order schedule.
- buildRecordsFromModel(Map<String, String>, Map<String, Integer>) - Method in class output.GanttChart
-
Build records from the model