- dataCommunicatedPrefix - Static variable in class solver.SmtVariablePrefixes
-
Amount of Data Communicated between two actors
- dataFlowCpuMap - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
tasks mapped to the same processors.
- DEBUG - Static variable in class spdfcore.stanalys.Expression
-
- declareFunction(String, String[], String) - Method in class solver.Z3Solver
-
Declare a function in Z3 context.
- declareVariables() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Declare all the SMT variables required for solving
- defaultColors - Variable in class output.GanttChart
-
Random set of colors encoded in Hex.
- defineActorDuration() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Define actor duration variables for all the tasks.
- defineActorDuration() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- defineActorDuration() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define SMT variables for actor duration
- defineActorDuration() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Define SMT variables for actor durations
- defineActorDuration() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Define actor duration SMT variables for all the actors
- defineCapVariables() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT CAP variables for all the tasks.
- defineChannelBuffers() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define all the variables for calculating communication buffer size
- defineClusterVariables() - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Define required SMT variables for all the cluster
- defineClusterVariables() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Define all the variables required for clusters.
- defineCommunicationVariables() - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Define required SMT variables for all the communication channels
- defineConsumptionRates() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define variables for consumption rates
- defineCpuAllocation() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Define SMT variables for processor allocated for the task
- defineEnableTimes() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Define SMT variables tocalculate the enable time of actors
such that all its precedence constraints are satisfied
- defineEndTimes() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Define end time variables for all the tasks.
- defineEndTimes() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- defineEndTimes() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define all end time SMT variables
- defineEndTimes() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Define the end time SMT variables for all the tasks.
- defineInitialTokens() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Define variables required for initial tokens of all the channels.
- defineKVariables() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Define all the K-variables required for period calculation
- defineMaxFunction() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Define max function which calculates the maximum value
between two integers
- definePeriodSymVariables() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.PeriodSymmetry
-
Define all the variables that are needed to define the period symmetry constraints.
- definePrimeVariables() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Define all the prime variables (xPrime and yPrime) for scheduling.
- defineProductionRates() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define variables for production rates
- defineStartTimes() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Define start time variables for all the tasks.
- defineStartTimes() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- defineStartTimes() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Define all start time SMT variables
- defineStartTimes() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Define the start time SMT variables for all the tasks.
- defineTaskIndex() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Define index variables for all the tasks.
- defineTaskVariables() - Method in class solver.distributedMemory.mapping.MappingCommSolver
-
Define required SMT variables for all the tasks
- defineTaskVariables() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
Define SMT variables for all the tasks in HSDF graph.
- defineTaskVariables() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
- defineTypeVariables() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.TypeConstraints
-
Define Type variables for all the tasks
- denominator - Variable in class spdfcore.stanalys.Fraction
-
Denominator of the fraction
- deploymentSolutions - Variable in class designflow.NonPipelinedScheduling
-
List of design flow solutions
- deploymentSolutions - Variable in class designflow.PipelinedScheduling
-
List of design flow solutions
- DepthFirstSearch - Class in graphanalysis
-
Traverse a graph with depth first search
- DepthFirstSearch() - Constructor for class graphanalysis.DepthFirstSearch
-
Initialize depth first search object.
- descendants - Variable in class exploration.paretoExploration.distanceexploration.Knee
-
- designflow - package designflow
-
package contains classes to perform a design flow for a multi-stage mapping and scheduling.
- DesignFlowNonPipelined - Class in experiments.distributedMemory
-
Test design flow to solve non-pipelined scheduling problem
- DesignFlowNonPipelined() - Constructor for class experiments.distributedMemory.DesignFlowNonPipelined
-
- DesignFlowPipelined - Class in experiments.distributedMemory
-
Test design flow to solve pipelined scheduling problem
- DesignFlowPipelined() - Constructor for class experiments.distributedMemory.DesignFlowPipelined
-
- DesignFlowSolution - Class in designflow
-
A solution which is gradually built during the Design flow.
- DesignFlowSolution(Graph, Graph, Solutions, Platform) - Constructor for class designflow.DesignFlowSolution
-
Initialize a design flow solution
- DesignFlowSolution(DesignFlowSolution) - Constructor for class designflow.DesignFlowSolution
-
Initialize a design flow solution copied from another solution.
- DesignFlowSolution.Mapping - Class in designflow
-
Class containing Mapping information for design flow solution.
- DesignFlowSolution.Mapping(DesignFlowSolution.Mapping) - Constructor for class designflow.DesignFlowSolution.Mapping
-
Build a mapping solution from another mapping solution.
- DesignFlowSolution.Mapping(boolean) - Constructor for class designflow.DesignFlowSolution.Mapping
-
Build a mapping solution.
- DesignFlowSolution.Partition - Class in designflow
-
Class and methods for Partitioning information.
- DesignFlowSolution.Partition(DesignFlowSolution.Partition) - Constructor for class designflow.DesignFlowSolution.Partition
-
Build a partition object from another partition object.
- DesignFlowSolution.Partition(int, int, boolean) - Constructor for class designflow.DesignFlowSolution.Partition
-
Build a partition object.
- DesignFlowSolution.Schedule - Class in designflow
-
Schedule class containing scheduling information.
- DesignFlowSolution.Schedule() - Constructor for class designflow.DesignFlowSolution.Schedule
-
Initialize a schedule class object
- DesignFlowSolution.Schedule(DesignFlowSolution.Schedule) - Constructor for class designflow.DesignFlowSolution.Schedule
-
Build a schedule object from another object
- destinationCluster - Variable in class platform.model.NetworkLink
-
Destination cluster of the network link.
- destinationPort - Variable in class platform.model.NetworkLink
-
Destination port number of the network link.
- destinationProcessor - Variable in class platform.model.NetworkLink
-
Destination processor of the network link.
- dfsVisit(Actor, Actor, List<Actor>, List<List<Actor>>) - Method in class graphanalysis.DepthFirstSearch
-
DFS visit a node.
- dfsVisitOrder(Graph, boolean) - Method in class graphanalysis.DepthFirstSearch
-
Given a graph, returns a queue containing the nodes of that graph in
the order in which a DFS of that graph finishes expanding the nodes.
- diagnostics() - Method in class spdfcore.stanalys.InconsistencyProof
-
Provide the (hopefully) human-readable diagnostics of the inconsistency
- dim() - Method in class exploration.paretoExploration.distanceexploration.Point
-
- dim() - Method in class exploration.paretoExploration.gridexploration.Point
-
Get number of dimensions
- dimensions - Variable in class exploration.ExplorationParameters
-
Number of dimensions to be explored
- dimensions - Variable in class exploration.Explorer
-
Number of dimensions for exploration.
- dimensions - Variable in class exploration.paretoExploration.distanceexploration.Point
-
- dimensions - Variable in class exploration.paretoExploration.gridexploration.Point
-
Number of dimensions of the space, the point is present.
- dimensionsForThisExploration - Static variable in class exploration.parameters.oneDimension.CommCostParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.oneDimension.LatencyParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.oneDimension.PeriodParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.threeDimension.LatProcBuffParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.twoDimension.LatBuffParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.twoDimension.LatProcParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.twoDimension.PeriodProcParams
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
Number of dimensions for this exploration.
- dimensionsForThisExploration - Static variable in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
Number of dimensions for this exploration.
- dir - Variable in class spdfcore.Port
-
- disablePrime - Variable in class input.CommandLineArgs
-
Disable Prime variables
- disablePrimes - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Calculate pipelined schedule without using prime
variables (period locality)
- display() - Method in class exploration.paretoExploration.distanceexploration.Point
-
- display(PrintWriter) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- distance(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- DistanceBasedExploration - Class in exploration.paretoExploration.distanceexploration
-
- DistanceBasedExploration(String, int, int, ExplorationParameters) - Constructor for class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- distanceId(int, int) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Get SMT variable for distance between two groups
- distancePrefix - Static variable in class solver.SmtVariablePrefixes
-
Distance between two partitions
- distances - Variable in class graphanalysis.BellmanFord
-
Distances of different actors from the source
- distanceWithSatPoints(Point) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- distinctClusterAllocation() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
One group should be allocated only to one platform cluster.
- divide(double) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- divide(double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Divide every co-ordinate with a value and
return new Point object with divided co-ordinates.
- divide(Expression, Expression) - Static method in class spdfcore.stanalys.Expression
-
Division : divide one expression by other.
- divide(Fraction, Fraction) - Static method in class spdfcore.stanalys.Fraction
-
Division of two fractions
- divisors - Variable in class spdfcore.stanalys.Expression
-
lookup table from factor to its power:
- DivisorSet - Class in spdfcore.stanalys
-
implements an expression c1^w1 * c2^w2....*p1^u1*p2^u2*...
- DivisorSet() - Constructor for class spdfcore.stanalys.DivisorSet
-
- dma - Variable in class input.ParseHardwarePlatform
-
Scanned DMA nodes from XML.
- dmaActorInstanceIdMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of actor instancess mapped to DMA
- dmaActorMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of actors mapped to DMA
- dmaActorStartTimeMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of start times of actor instances mapped to DMA
- DmaEngine - Class in platform.model
-
Represents a DMA Engine in the platform.
- DmaEngine(String, int, Cluster) - Constructor for class platform.model.DmaEngine
-
Initialize the DMA Engine component of the platform model.
- dmaEngines - Variable in class platform.model.Cluster
-
DMA Engines of the cluster.
- dmaEngines - Variable in class platform.model.Platform
-
All the DMA Engines of the platform.
- dmaSetupTime - Variable in class input.ParseHardwarePlatform.PlatformProp
-
- dmaSetupTime - Variable in class platform.model.Platform
-
Initialization Time required for the DMA.
- dmaStatusTaskPrefix - Static variable in class solver.SmtVariablePrefixes
-
DMA Status transfer task prefix carrying FIFO status.
- dmaSymInCluster(List<String>, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate constraints for processor symmetry for the DMA Engines in the cluster.
- dmaSymInCluster(List<String>, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- dmaTokenTaskPrefix - Static variable in class solver.SmtVariablePrefixes
-
DMA Forward transfer task prefix carrying tokens.
- DotGraph - Class in output
-
DOT Graph Generation from an Application Graph.
- DotGraph() - Constructor for class output.DotGraph
-
- dst - Variable in class input.ParseHardwarePlatform.LinkInfo
-
- dstPort - Variable in class input.ParseHardwarePlatform.LinkInfo
-
- dump() - Method in class spdfcore.Actor
-
debug: print some details about the actor
- dump() - Method in class spdfcore.Graph
-
Print information about the graph
- dump() - Method in class spdfcore.stanalys.Solutions
-
println all solutions to standard input
- durationDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variables for duration of all the tasks.
- durationDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- durationDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variables for duration of the tasks
- durationDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
SMT variables for actor duration
- durationDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
SMT variables for duration of actors
- durationId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for duration of an actor
- durationId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- durationId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for duration of an actor.
- durationId(String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Get SMT variable for duration of an actor.
- durationId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for duration of an actor.
- durationPrefix - Static variable in class solver.SmtVariablePrefixes
-
Duration of a task.