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 

D

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.
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