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 

M

m - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
 
machinePeriodicity() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate constraints for machine periodicity of the schedule.
main(String[]) - Static method in class experiments.distributedMemory.DesignFlowNonPipelined
Entry point method for design flow for non-pipelined scheduling.
main(String[]) - Static method in class experiments.distributedMemory.DesignFlowPipelined
Entry point method for design flow for pipelined scheduling.
main(String[]) - Static method in class experiments.others.GenerateAppXmlFromProfile
Entry point method to generate application XMl from profile XML
main(String[]) - Static method in class experiments.others.ParseKalrayHardwareLog
 
main(String[]) - Static method in class experiments.others.TryJulienMapping
Entry point for testing mapping constraints.
main(String[]) - Static method in class experiments.others.TryListScheduling
Entry point for list scheduling algorithm.
main(String[]) - Static method in class experiments.sharedMemory.oneDimension.SingleLatencyQuery
Entry point method for latency exploration for shared memory architecture
main(String[]) - Static method in class experiments.sharedMemory.oneDimension.SinglePeriodQuery
Entry point method for period exploration for shared memory architecture
main(String[]) - Static method in class experiments.sharedMemory.threeDimension.LatProcBuffExploration
Entry point method to perform a 3D exploration of latency vs processors vs buffer-size for shared memory
main(String[]) - Static method in class experiments.sharedMemory.twoDimension.LatProcExploration
Entry point method to perform Latency vs Processor used exploration for shared memory architecture.
main(String[]) - Static method in class experiments.sharedMemory.twoDimension.PeriodProcExploration
Entry point method to perform Period vs Processors exploration for a shared memory architecture.
main(String[]) - Static method in class tests.TestCompiler
It will call some tests in this package to check if parts of compiler are working fine.
main(String[]) - Static method in class tests.TryApgan
Main function to test APGAN Algorithm
main(String[]) - Static method in class tests.TryApplicationXML
Procedure to parse XML file and build a graph.
main(String[]) - Static method in class tests.TryBellmanFord
 
main(String[]) - Static method in class tests.TryExpression
This function creates some expressions and it checks the results for addition, subtraction, division, multiplication of these expressions.
main(String[]) - Static method in class tests.TryFraction
This function creates some fractions and it checks the results for division, multiplication of these fractions.
main(String[]) - Static method in class tests.TryGenerateSdfXml
This test parses an XML file and converts it into graph structure.
main(String[]) - Static method in class tests.TryGraphClone
This test takes an example SDF graph and inserts a new actor between two actors.
main(String[]) - Static method in class tests.TryLiveness
It constructs a sample SPDF graph and checks the liveness property of it.
main(String[]) - Static method in class tests.TryParsePlatformXML
Procedure to parse Platform XML file and build a model.
main(String[]) - Static method in class tests.TryPrintGraph
Procedure to generate a dotGraph for simple application graph.
main(String[]) - Static method in class tests.TrySafety
 
main(String[]) - Static method in class tests.TrySolutions
 
main(String[]) - Static method in class tests.TrySpdf
 
main(String[]) - Static method in class tests.TryThroughput
Procedure to calculate the throughput of an application graph.
main(String[]) - Static method in class tests.TryTransformSDFToHSDF
Procedure to convert SDF to HSDF graph and then we perform some simple tests on the HSDF graph to check their rates, number of actors and repetition count.
main(String[]) - Static method in class underDevelopment.TryQuasiStatic
 
mapping - Variable in class designflow.DesignFlowSolution
Mapping solution
mapping - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
 
mapping - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnrolMapping
 
MappingCommSolver - Class in solver.distributedMemory.mapping
Combine solving of mapping and communication cost problem.
MappingCommSolver(Graph, Graph, Solutions, Platform) - Constructor for class solver.distributedMemory.mapping.MappingCommSolver
Build a mapping solver.
markReachableNodes(Actor, Graph, Map<Actor, Integer>, int) - Method in class graphanalysis.Kosaraju
Recursively marks all nodes reachable from the given node by a DFS with the current label.
MatrixSolver - Class in solver.sharedMemory.combinedSolver.nonpipelined
Matrix Solver is a SMT based solver which uses functions to solve the scheduling problem.
MatrixSolver(Graph) - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Build a matrix solver object.
MAX_DISTANCE - Variable in class graphanalysis.BellmanFord
Maximum distance in the graph.
maxBufDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
SMT variable for maximum buffer usage per cluster of the application
maxBufferId(String, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Get SMT variable for maximum buffer for channel connecting two actors.
maxBufferId(String, String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for maximum buffer size for a channel.
maxBufferPrefix - Static variable in class solver.SmtVariablePrefixes
Maximum buffer required for a channel.
maxBufferSize - Variable in class graphanalysis.CalculateBounds
Maximum Latency to be used for a design space exploration.
maxCpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Get SMT variable for max CPU id for processor symmetry
maxCpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for maximum processor index on which a task can run for processor symmetry constraints.
maxCpuId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for maximum index of processor on which a task can run.
maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get SMT variable for maximum processor index where task can be allocated
maxCpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Get SMT variable for maximum processor index on which a task can run for processor symmetry constraints.
maxCpuPrefix - Static variable in class solver.SmtVariablePrefixes
Maximum CPU a task can use.
maxDistance - Variable in class solver.distributedMemory.mapping.MappingCommSolver
Maximum distance in the network on chip between two clusters
maxFunctionDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
SMT function to calculate the maximum value among the two values
maxFunctionPrefix - Static variable in class solver.SmtVariablePrefixes
Name for the max function
maxLatency - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
An upper bound on latency for exploration.
maxLatency - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
An upper bound on latency for exploration.
maxLatency - Variable in class graphanalysis.CalculateBounds
Maximum Latency to be used for a design space exploration.
maxLatencyScalingFactor - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
Latency scaling factor.
maxLatencyScalingFactor - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
Latency scaling factor.
maxLatencyScalingFactor - Variable in class input.CommandLineArgs
Latency scaling factor
maxProcessors - Variable in class graphanalysis.CalculateBounds
Maximum Number of processors to be used for a design space exploration.
maxWorkLoadOnCluster() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Calculate maximum workload on a cluster
maxWorkloadOnClusterId() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of maximum workload allocated to all clusters
maxWorkloadOnClusterPrefix - Static variable in class solver.SmtVariablePrefixes
Maximum workload on a cluster
MaxWorkLoadPerCluster - Interface in exploration.interfaces.oneDim
Max workload allocated to a cluster constraint for exploration.
MaxWrkLdCommCostClusterConstraints - Interface in exploration.interfaces.threeDim
Interface to be implemented for 3-dim exploration of max workload per cluster, communication cost and number of clusters used.
MaxwrkloadCommClusterParams - Class in exploration.parameters.threeDimension
Maximum workload per cluster, communication cost, and number of clusters used exploration parameters.
MaxwrkloadCommClusterParams(Graph, Solutions, int) - Constructor for class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
Initialize exploration parameters object.
memories - Variable in class platform.model.Platform
All the memories of the platform.
memory - Variable in class input.ParseHardwarePlatform
Scanned memory nodes from XML.
memory - Variable in class platform.model.Cluster
Memories of the cluster.
Memory - Class in platform.model
Represents a Memory component in the platform.
Memory(String, int, long, int, int, int) - Constructor for class platform.model.Memory
Initializes the Memory component of the platform.
memory - Variable in class platform.model.Processor
Memories of the processor
mergeActorsWithEqualSolutions() - Method in class underDevelopment.QuasiStaticScheduling
 
min(int, int) - Static method in class spdfcore.stanalys.DivisorSet
 
minBufferSize - Variable in class graphanalysis.CalculateBounds
Minimum Buffer Size to be used for a design space exploration.
minDistance - Variable in class solver.distributedMemory.mapping.MappingCommSolver
Minimum distance in the network on chip between two clusters
minDistances - Variable in class platform.model.Platform
All the distances between processors or clusters of the platform.
minLatency - Variable in class graphanalysis.CalculateBounds
Minimum Latency to be used for a design space exploration.
minLatencyBound() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Lower bound on the latency.
minLatencyBound() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
minLatencyBound() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate lower bound for latency of the schedule
minLatencyBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate a lower bound on the latency.
minLatencyForPeriodExpl - Variable in class input.CommandLineArgs
Use minimum latency for period exploration
minPeriod - Variable in class graphanalysis.CalculateBounds
Minimum Period to be used for a design space exploration.
minPeriodBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate a SMT constraint for lower bound on Period Period >= (Sum exec.times) / (No of Processors)
minPeriodBound() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate a lower bound on the period.
minus(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
 
minus(double) - Method in class exploration.paretoExploration.distanceexploration.Point
 
minus(Point) - Method in class exploration.paretoExploration.gridexploration.Point
Subtract this point with another point p and return a Point with new co-ordinates.
minus(double) - Method in class exploration.paretoExploration.gridexploration.Point
Subtract a value from each dimension of this point and return a new point with new co-ordinates.
modelFile - Variable in class exploration.Explorer
File which contains models for every SAT point.
modelFileName - Variable in class exploration.Explorer
Filename for models file.
modelToGantt(Map<String, String>, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Convert a SMT model to Gantt chart.
modelToGantt(Map<String, String>, String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
modelToGantt(Map<String, String>, String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Generate a Gantt chart from a model
modelToMapping(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
Convert model obtained from SMT solver to a mapping solution.
modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Sets a new partition in design flow solution
modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
 
modelToPartition(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
 
modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Convert a model to partition aware graph by inserting DMA actors.
modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
Convert a solution model to partition aware graph.
modelToPartitionAwareGraph(Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
Convert a model to partition aware graph by inserting DMA actors.
modelToSchedule(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate a Schedule of design flow solution from the model obtained from the SMT solver.
modelToSchedule(Map<String, String>, DesignFlowSolution) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
modifiedParameters - Variable in class spdfcore.stanalys.ParamComm
lookup from modifier actor to parameters
Modifier - Class in spdfcore
Modifier - actor type that sets the parameter.
Modifier() - Constructor for class spdfcore.Modifier
 
modifierOfPeriodActor - Variable in class spdfcore.stanalys.ParamComm
lookup from period actor to the corresponding modifier
modifiers - Variable in class spdfcore.Graph
Modifiers in the graph, required for SPDF graph
moduloDistanceCalculation() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
This works only for Mesh platforms.
multiClusterActors - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
multiplicityGraph - Variable in class underDevelopment.QuasiStaticScheduling
 
multiply(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
 
multiply(double) - Method in class exploration.paretoExploration.distanceexploration.Point
 
multiply(Point) - Method in class exploration.paretoExploration.gridexploration.Point
Multiply this point with another point and return a new point.
multiply(double) - Method in class exploration.paretoExploration.gridexploration.Point
Multiply this point with a constant value and return a new Point object.
multiply(Expression, Expression) - Static method in class spdfcore.stanalys.Expression
Multiply two expressions
multiply(Fraction, Fraction) - Static method in class spdfcore.stanalys.Fraction
Get the product of two fractions
multiset - Variable in class spdfcore.stanalys.DivisorSet
 
MutExNonPipelinedScheduling - Class in solver.sharedMemory.combinedSolver.nonpipelined
Mutual Exclusion solver for non-pipelined scheduling problem
MutExNonPipelinedScheduling(Graph) - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Build mutual exclusion solver object
MutExNonPipelinedScheduling.LeftEdgeNonPipelined - Class in solver.sharedMemory.combinedSolver.nonpipelined
Left-edge scheduling for non-pipelined problem.
MutExNonPipelinedScheduling.LeftEdgeNonPipelined() - Constructor for class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling.LeftEdgeNonPipelined
 
MutExPipelinedScheduling - Class in solver.sharedMemory.combinedSolver.pipelined
The pipelined problem is solved using this class by a Mutual exclusion solver.
MutExPipelinedScheduling(Graph) - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Build a mutual exclusion pipelined solver
MutExPipelinedScheduling.LeftEdgePipelined - Class in solver.sharedMemory.combinedSolver.pipelined
Class to generate variables and constraints for pipelined scheduling using Left-edge algorithm.
MutExPipelinedScheduling.LeftEdgePipelined() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.LeftEdgePipelined
 
MutExPipelinedScheduling.OmegaAnalysis - Class in solver.sharedMemory.combinedSolver.pipelined
Class to generate variables and constraints for pipelined scheduling using Omega Analysis.
MutExPipelinedScheduling.OmegaAnalysis() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
 
MutExPipelinedScheduling.PeriodSymmetry - Class in solver.sharedMemory.combinedSolver.pipelined
Class and methods to test Period symmetry constraints for Pipelined scheduling
MutExPipelinedScheduling.PeriodSymmetry() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.PeriodSymmetry
 
MutExPipelinedScheduling.TypeConstraints - Class in solver.sharedMemory.combinedSolver.pipelined
Class to test type constraints for pipelined scheduling.
MutExPipelinedScheduling.TypeConstraints() - Constructor for class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.TypeConstraints
 
mutualExclusionGraphAnalysis - Variable in class input.CommandLineArgs
Mutual Exclusion
mutualExclusionGraphAnalysis - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Use graph analysis to generate mutual exclusion constraints.
MutualExclusionSolver - Class in solver.sharedMemory.combinedSolver
Mutual exclusion solver parent class
MutualExclusionSolver(Graph) - Constructor for class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Initialize the mutual exclusion solver
MutualExclusionSolver.LeftEdge - Class in solver.sharedMemory.combinedSolver
Solve the scheduling problem by using Left-Edge instead of mutual exclusion.
MutualExclusionSolver.LeftEdge() - Constructor for class solver.sharedMemory.combinedSolver.MutualExclusionSolver.LeftEdge
 
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