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 

C

calcParetoPoints() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Calculate Pareto points from the list of SAT and UNSAT points
calculateActorPrecedences(Channel) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate a list of precedences between the producer and consumer task instances.
calculateActorPrecedences(Channel) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
CalculateBounds - Class in graphanalysis
Calculate maximum and minimum bounds on the graph.
CalculateBounds(Graph, Graph, Solutions) - Constructor for class graphanalysis.CalculateBounds
Initialize the bounds calculation object.
CalculateBounds(Graph, Solutions) - Constructor for class graphanalysis.CalculateBounds
Initialize the bounds calculation object.
calculateBuffer(Map<String, String>) - Method in class graphanalysis.scheduling.ListScheduling
Calculate the buffer size for the schedule
calculateEnableTimes() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Calculate enable times of the tasks
calculateJoin(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
 
calculateMeet(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
 
calculateMinDistances() - Method in class platform.model.Platform
Calculate the minimum distances between the clusters.
calculateMulticlusterActorChannels() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
calculateReadyActors(int) - Method in class graphanalysis.scheduling.ListScheduling
Calculate ready actors
calculateRectangles() - Method in class output.GanttChart
Calculate the rectangles in the Gantt chart.
calculateSchedMatrixIndexVar() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
 
calculateSchedMatrixNonIndexVar(int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
 
calculateSchedMatrixNonIndexVar() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
 
calculateStronglyConnectedComponents() - Method in class graphanalysis.Kosaraju
Find strongly connected components.
calculateThroughput(Graph) - Method in class graphanalysis.throughput.Throughput
Calculates throughput of the graph.
calculateThroughput() - Method in class graphanalysis.throughput.ThroughputMcm
Calculates the throughput using MCM.
calculateWorkImbalance(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Calculate workload imbalance depending on number of clusters used.
calculateWorkImbalance(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Calculate workload imbalance for all the clusters.
calculateXMax() - Method in class output.GanttChart
Calculate the maximum value for the X-axis of the Gantt chart.
capPeriodCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
Generate SMT constraints for capX variables based on period.
capPredCalculations() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
Generate SMT constraints to calculate the values of capX, capPred variables.
capPredXId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capX predicted of a task.
capPredXId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capX predicted of an actor instance
capPredXPrefix - Static variable in class solver.SmtVariablePrefixes
Cap Pred X variable for Omega Analysis.
capPrimeCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
Generate SMT constraints for calculating xPrime variables depending on capX variables.
capVarDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
SMT cap variables for Omega analysis
capVariableCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
Generate SMT constraints for calculating capX and capY variables depending on xPrime and yPrime of the tasks.
capXId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capX of a task.
capXId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capX of an actor instance
capXPrefix - Static variable in class solver.SmtVariablePrefixes
Cap X variable for Omega Analysis.
capYId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capY of a task
capYId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable capY of an actor instance
capYPrefix - Static variable in class solver.SmtVariablePrefixes
Cap Y variable for Omega Analysis.
ch - Variable in class graphanalysis.throughput.Throughput.TransitionSystem.State
 
Channel - Class in spdfcore
FIFO channel: an edge in the SPDF or SDF graph.
Channel() - Constructor for class spdfcore.Channel
 
Channel.Link - Class in spdfcore
A link between a channel and an actor what is usually called a port.
Channel.Link() - Constructor for class spdfcore.Channel.Link
 
channelName - Variable in class spdfcore.Channel
Name of the channel.
channels - Variable in class spdfcore.Graph
Channels of the graph
chartGeneration(String, int) - Method in class output.GanttChart
Generate the Gantt chart.
check(Solver, int) - Method in class solver.Z3Context
Assert a SMT Query in the Solver.
check(Graph) - Method in class spdfcore.stanalys.LivenessAcyclic
check the liveness (in this version - whether the graph is acyclic)
check(ParamComm, Solutions) - Method in class spdfcore.stanalys.Safety
check parameter modification safety according to the safety criterion; this ensures that the graph has a periodic schedule.
checkForNegativeWeightCycles() - Method in class graphanalysis.BellmanFord
Check for Negative weight cycles.
checkGenerators() - Method in class exploration.paretoExploration.distanceexploration.Knee
 
checkIfExplorationGranularityReached() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Check if the granularity of the exploration has reached for each dimension.
checkIfSatOrUnsat(Point) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Check if the point falls in SAT or UNSAT known area.
checkInconsistency(InconsistencyProof) - Static method in class tests.TrySolutions
 
checkResults(Solutions.Data) - Method in class spdfcore.stanalys.Solutions
Look for rate inconsistency
checkSat(int) - Method in interface exploration.interfaces.SolverFunctions
Perform a SMT query if the problem is satisfiable or not.
checkSat(int) - Method in class solver.Z3Solver
 
checkSolutions(Graph, Solutions) - Static method in class tests.TrySolutions
 
clear() - Method in class input.ParseHardwarePlatform.PlatformProp
 
clear() - Method in class spdfcore.stanalys.GraphExpressions
clear all the port rates
clear() - Method in class spdfcore.stanalys.Solutions
Clear all the solutions
clockStep() - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
clone(Throughput.TransitionSystem.State) - Method in class graphanalysis.throughput.Throughput.TransitionSystem.State
 
clone(Graph) - Method in class spdfcore.Graph
 
clone() - Method in class spdfcore.stanalys.DivisorSet
 
cloneId() - Method in class spdfcore.Id
 
cloneList(List<Integer>) - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
Create a new instance of the list.
clonePath(List<Actor>) - Method in class graphanalysis.DepthFirstSearch
Clone a path
close() - Method in class logger.ConsoleLogger
When closing the console, also close the log file.
cluster - Variable in class input.ParseHardwarePlatform.DmaInfo
 
cluster - Variable in class input.ParseHardwarePlatform.MemoryInfo
 
cluster - Variable in class input.ParseHardwarePlatform.ProcessorInfo
 
Cluster - Class in platform.model
Represents a cluster in the platform.
Cluster(String, int, int, int, int, int, int) - Constructor for class platform.model.Cluster
Initialize the cluster component of the platform model.
cluster - Variable in class platform.model.DmaEngine
Cluster to which the DMA engine belongs
cluster - Variable in class platform.model.Memory
Clusters which can access this memory.
cluster - Variable in class platform.model.Processor
Cluster to which this processor belongs to.
clusterAllocatedWorkId(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get workload allocated to a specific cluster SMT variable
clusterAllocatedWorkId(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of workload allocated on a cluster
clusterBufferId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Get SMT variable for buffer usage for a cluster
clusterBufferPrefix - Static variable in class solver.SmtVariablePrefixes
Communication Buffer used in a cluster
clusterConstraint - Variable in class input.CommandLineArgs
Number of clusters to be used
ClusterConstraints - Interface in exploration.interfaces.oneDim
Total number of clusters used for exploration
clusterDmaStartTimePrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate special precedence constraints for start times of DMA actors.
clusterDmaStartTimePrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
clusterId - Variable in class platform.kalray.ParseExecutionLog.LogRecord
 
clusterIdLocation - Variable in class platform.kalray.ParseExecutionLog
Position where the cluster id is located in the log file String.
clusterImbalanceId(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get workload imbalance for a cluster SMT variable
clusterImbalanceId(int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of workload imbalance on a cluster
ClusterMutExclNonPipelined - Class in solver.distributedMemory.scheduling
Cluster scheduling for distributed memory.
ClusterMutExclNonPipelined(Graph, Graph, Solutions, Graph, Graph, Solutions, Platform, String, SchedulingConstraints) - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Initialize a Cluster scheduler based on mutual exclusion.
ClusterMutExclNonPipelined.OptimizeSchedule - Class in solver.distributedMemory.scheduling
Schedule optimizer to improve latency and processor usage.
ClusterMutExclNonPipelined.OptimizeSchedule() - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
Build a new schedule optimizer object
ClusterMutExclPipelined - Class in solver.distributedMemory.scheduling
 
ClusterMutExclPipelined(Graph, Graph, Solutions, Graph, Graph, Solutions, Platform, SchedulingConstraints) - Constructor for class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
clusters - Variable in class input.ParseHardwarePlatform
Scanned cluster nodes from XML.
clusters - Variable in class platform.model.Platform
All the Clusters of the platform.
clusterTaskAllocationId(String, int) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of an actor instance allocated to a cluster
clusterTaskAllocationId(String) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of an actor allocated to a cluster
clusterTaskPrefix - Static variable in class solver.SmtVariablePrefixes
Cluster to which the task is allocated.
clusterTaskWorkAllocation() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
Calculate the workload allocated per group.
clusterTaskWorkAllocation() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
 
clusterToGroupMap - Variable in class designflow.DesignFlowSolution.Mapping
Map of group assigned to a cluster.
clusterUtilizationMap - Variable in class designflow.DesignFlowSolution.Schedule
Map containing utilized processors inside a cluster
clusterWorkAllocationPrefix - Static variable in class solver.SmtVariablePrefixes
Amount of work allocated to a cluster.
collapseChannelInGraph(Channel) - Method in class graphanalysis.scheduling.Apgan
Collapse a selected channel in the graph.
collapseChannelInGraph(Channel) - Method in class underDevelopment.QuasiStaticScheduling
 
collapsedLeftActor - Variable in class graphanalysis.scheduling.Apgan
Internal variables of the algorithm
collapsedRightActor - Variable in class graphanalysis.scheduling.Apgan
Internal variables of the algorithm
collectParamters(Stack<Actor>) - Method in class underDevelopment.QuasiStaticScheduling
 
color - Variable in class graphanalysis.GraphFindCycles
Color assigned to the actor.
color - Variable in class output.GanttChart.Record
Color assigned to the task
colorBook - Variable in class output.GanttChart
Colors mapped to tasks.
CommandLineArgs - Class in input
Process command line arguments for the experiments.
CommandLineArgs(String[]) - Constructor for class input.CommandLineArgs
Initialize the command line parser object
CommandLineArgs.SolverType - Enum in input
Pipelined Scheduling Solvers : UNFOLDING_SOLVER -- PERIOD_LOCALITY Non-Pipelined Scheduling Solvers : MATRIX_SOLVER -- MUTUAL_EXCLUSION
CommandLineArgs.SolverType() - Constructor for enum input.CommandLineArgs.SolverType
 
commCostBetweenGroups(int, int) - Method in class designflow.DesignFlowSolution.Partition
Get communication cost between two groups equal to amount of data transfer between them.
commCostId(String) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of communication cost for a channel in application graph
commCostId(int, int) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
Get SMT variable for communication cost between two groups
CommCostParams - Class in exploration.parameters.oneDimension
Exploration Parameters for minimizing the communication cost.
CommCostParams(Graph, Solutions, Platform) - Constructor for class exploration.parameters.oneDimension.CommCostParams
Initialize exploration parameters object.
commCostPrefix - Static variable in class solver.SmtVariablePrefixes
Communication Cost for a channel
commCpuMap - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
Communication tasks mapped to the same DMA engines
commLink(Channel, int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Communication distance of a channel SMT variable
communicatingActorsBetweenGroups(int, int) - Method in class designflow.DesignFlowSolution.Partition
Get a list of communicating actors between two groups.
CommunicationCostConstraints - Interface in exploration.interfaces.oneDim
Total Communication cost used for exploration.
communicationCosts() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
Calculate the communication cost for every channel depending on producer and consumer of channel allocated to same or different group.
communicationCosts() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
 
communicationLinksAllocation() - Method in class solver.distributedMemory.mapping.MappingCommSolver
A constraint specifying : depending on clusters where producer and consumer of channel is allocated the distance between them will be calculated
compareByStrategy(ListScheduling.Strategy, Actor, Actor) - Method in class graphanalysis.scheduling.ListScheduling
This functions supports the comparator to select an actor between multiple ready actors.
compareTo(Schedule) - Method in class graphanalysis.scheduling.Schedule
Compare two schedules.
compareTo(GanttChart.Record) - Method in class output.GanttChart.Record
Compare record with another record.
compareTo(ParseExecutionLog.LogRecord) - Method in class platform.kalray.ParseExecutionLog.LogRecord
 
compute(LeftEdgeModelToSchedule.Model, int, int) - Static method in class graphanalysis.scheduling.LeftEdgeModelToSchedule
 
computeRandomStrategy() - Method in class graphanalysis.scheduling.ListScheduling
 
computeThroughput(int) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
connectedComponents - Variable in class graphanalysis.throughput.ThroughputMcm
Calculate strongly connected components in the graph
connectSourcesToUsers(Solutions) - Method in class spdfcore.stanalys.ParamComm
Connect the period nodes to the users to model the propagation of parameters to the users at every period.
console - Variable in class logger.ConsoleLogger
Default Console output stream.
ConsoleLogger - Class in logger
This class will duplicate the console output to the log file specified by the file name.
ConsoleLogger(String) - Constructor for class logger.ConsoleLogger
We have to just create an object of this class and pass the filename where the log should be written.
consRateId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for a consumption rate on a channel.
constraintNames - Variable in class exploration.ExplorationParameters
Name of the constraints for each dimension.
constructActorWrappers() - Method in class underDevelopment.QuasiStaticScheduling
 
constructGraph(int, int, String[][], String[][]) - Method in class tests.TestBase
Construct an SPDF graph.
constructReachability(Graph) - Method in class graphanalysis.scheduling.Apgan
Construct Reachability matrix of the input graph This algorithm comes from the book - Essential Java for Scientists and Engineers page no.
constructScheduleTreeFromPostfix(String) - Method in class graphanalysis.scheduling.Schedule
Construct the Schedule Tree from the PostFix Schedule expression.
consumptionRatePrefix - Static variable in class solver.SmtVariablePrefixes
Rate of consuming tokens on a channel for an actor.
contains(Actor) - Method in class spdfcore.stanalys.Solutions
Check if the solutions contain an actor
containsLowestPoint() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
If the exploration happens such that the point (0,0) returns a SAT value, then there is no need in exploring other points, because it will anyways dominate all the other points.
contextStatements - Variable in class solver.Z3Solver
We save all the assertions on this stack.
convertSDFtoHSDF(Graph) - Method in class graphanalysis.TransformSDFtoHSDF
Convert SDF to HSDF graph with all rates equal to 1.
convertSDFtoHSDFWithUniqueChannels(Graph) - Method in class graphanalysis.TransformSDFtoHSDF
Convert SDF to HSDF graph with unique channels.
convertStacktoSchedule(Stack<String>) - Method in class underDevelopment.QuasiStaticScheduling
 
coordinates - Variable in class exploration.paretoExploration.distanceexploration.Point
 
coordinates - Variable in class exploration.paretoExploration.gridexploration.Point
Co-ordinates of the point
copy(Solutions) - Method in class spdfcore.stanalys.Solutions
 
countActors() - Method in class spdfcore.Graph
Get number of actors in the graph
countChannels() - Method in class spdfcore.Graph
Get number of channels in the graph
cpuDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
SMT variables for allocated processor of all the tasks.
cpuDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
cpuDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
SMT variables for processor allocation of the tasks
cpuDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
SMT variables for allocate processor of the task
cpuDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
SMT variables for processor allocated to the tasks.
cpuId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Get SMT variable for processor allocated of an actor instance
cpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Get SMT variable for processor allocated of an actor instance
cpuId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
cpuId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for processor allocated to a task.
cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable for processor allocated to an actor instance
cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get the SMT variable for processor allocated to an actor instance
cpuId(String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get the SMT variable for processor allocated to a task
cpuId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Get SMT variable for processor allocated to a task.
cpuId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Get SMT variable for processor allocated to an actor instance
cpuPrefix - Static variable in class solver.SmtVariablePrefixes
Processor to which a task is allocated.
createNewLink(Graph, String, Actor, Port, int, Actor) - Method in class graphanalysis.scheduling.Apgan
Create a new link between two actors.
createNewLink(Graph, Actor, Port, Actor, Channel) - Method in class underDevelopment.QuasiStaticScheduling
 
ctx - Variable in class solver.Z3Context
Z3 Context.
currentOmegaActor - Variable in class graphanalysis.scheduling.Apgan
Internal variables of the algorithm
currentState - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
 
cycle - Variable in class spdfcore.stanalys.InconsistencyProof
 
cycleActor - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
 
cycleComplete - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
 
cycles - Variable in class graphanalysis.GraphFindCycles
List of cycles in the graph.
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