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 

T

t0Location - Variable in class platform.kalray.ParseExecutionLog
Position where the time0 is located in the log file String.
t1Location - Variable in class platform.kalray.ParseExecutionLog
Position where the time1 is located in the log file String.
t2Location - Variable in class platform.kalray.ParseExecutionLog
Position where the time1 is located in the log file String.
t3Location - Variable in class platform.kalray.ParseExecutionLog
Position where the time3 is located in the log file String.
tags - Variable in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Tags used for DMA Fifo on the platform.
task - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.IterTask
 
taskBoxHeight - Variable in class output.GanttChart
Height of the task in the Gantt chart
taskDurationId(String) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Duration of actor
taskExecutionTimePrefix - Static variable in class solver.SmtVariablePrefixes
Execution time for an actor
taskIndexDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
SMT variables for index of the task
taskIndexId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get SMT variable for index of an actor instance in the schedule matrix.
taskIndexId(String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get SMT variable for task index in the schedule matrix
taskIndexPrefix - Static variable in class solver.SmtVariablePrefixes
Index of a task execution in the matrix
taskLimits() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
Define an upper bound for group allocated for the tasks.
taskLimits() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
 
taskList - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
 
tasks - Variable in class output.GanttChart
Name of tasks
tasksEndedBeforeId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable to calculate tasks ended before this task.
tasksEndedBeforePrefix - Static variable in class solver.SmtVariablePrefixes
Determines how many tasks started after this task.
taskSet() - Method in interface graphanalysis.scheduling.LeftEdgeModelToSchedule.Model
 
tasksStartedBeforeId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Get SMT variable to calculate tasks started before this task.
tasksStartedBeforePrefix - Static variable in class solver.SmtVariablePrefixes
Determines how many tasks started before this task.
TestBase - Class in tests
Provide some useful functions as basis for tests.
TestBase() - Constructor for class tests.TestBase
 
TestCompiler - Class in tests
Perform a series of tests on the code to check if there is any problem.
TestCompiler() - Constructor for class tests.TestCompiler
 
testDisablePrime() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using by disabling prime variables This is also called as Period locality in our report.
testLeftEdgeConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using Left-edge method of solving problem.
testOmegaAnalysis() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using Omega analysis.
testPeriodSymmetry() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using period symmetry constraints.
testPlainConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using Prime and K variables.
testProcSymConstraint() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Processor optimal allocation of tasks.
tests - package tests
package contains a group of tests in order to check different parts of this tool.
testTypeConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints for pipelined scheduling using Type constraints.
tetrisSymmetry - Variable in class input.CommandLineArgs
Use tetris symmetry
tetrisSymmetry - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Enable Tetris Symmetry for allocating processors to the tasks.
tetrisSymmetryConstraints(int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Tetris symmetry is another kind of symmetry that is seen in allocating the processor to a tasks, just like in tetris game.
tetrisSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Generate tetris symmetry constraints
textRotationAngle - Variable in class output.GanttChart
Rotate text in the Gantt chart by this angle
thisLevelParam - Variable in class underDevelopment.QuasiStaticScheduling.Level
 
Throughput - Class in graphanalysis.throughput
Algorithm to calculate throughput from SDF graph.
Throughput() - Constructor for class graphanalysis.throughput.Throughput
 
Throughput.TransitionSystem - Class in graphanalysis.throughput
Transition system.
Throughput.TransitionSystem(Graph) - Constructor for class graphanalysis.throughput.Throughput.TransitionSystem
 
Throughput.TransitionSystem.State - Class in graphanalysis.throughput
State of the system.
Throughput.TransitionSystem.State() - Constructor for class graphanalysis.throughput.Throughput.TransitionSystem.State
 
ThroughputMcm - Class in graphanalysis.throughput
Calculate maximum throughput of the graph.
ThroughputMcm(Graph) - Constructor for class graphanalysis.throughput.ThroughputMcm
Initialize throughput calculator object.
throwException - Variable in class spdfcore.stanalys.LivenessAcyclic
 
throwException - Variable in class spdfcore.stanalys.Safety
 
throwException - Variable in class spdfcore.stanalys.Solutions
Should we throw an exception when unable to get solutions?
timedOutPointsfile - Variable in class exploration.Explorer
Log file containing all TIMED OUT points.
timedOutPointsFileName - Variable in class exploration.Explorer
Filename for TIMED OUT points file.
timedOutPointsList - Variable in class exploration.oneDimensionExploration.BinarySearchOneDim
List of TIMED OUT points from the exploration
timeLog - Variable in class platform.tilera.ParseExecutionLog
Time log generated by the framework
timeOutPerQueryInSeconds - Variable in class input.CommandLineArgs
Time out per query in seconds
timePeriodicity() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate constraints for time periodicity of the schedule.
timeTakenForCurrentQuery - Variable in class exploration.Explorer
Time required for current SMT query.
toExpression() - Method in class spdfcore.stanalys.Fraction
Convert to non-fractional expression, denominator must be = 1 otherwise an exception will be thrown.
toInteger() - Method in class exploration.paretoExploration.distanceexploration.Point
 
toInteger() - Method in class exploration.paretoExploration.gridexploration.Point
Convert double co-ordinates to integer.
tokenSize - Variable in class spdfcore.Channel
Size of each token
topologicalSort(Graph) - Method in class underDevelopment.QuasiStaticScheduling
 
topRightX - Variable in class output.GanttChart.Record
Top Right x co-ordinate
topRightY - Variable in class output.GanttChart.Record
Top Right y co-ordinate
toString() - Method in class exploration.paretoExploration.distanceexploration.Knee
 
toString() - Method in class exploration.paretoExploration.distanceexploration.Point
 
toString() - Method in class exploration.paretoExploration.gridexploration.Point
 
toString() - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Int
 
toString() - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.IterTask
 
toString() - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.OccupancyVector
 
toString() - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Task
 
toString() - Method in class graphanalysis.scheduling.Schedule
 
toString(Schedule.Node) - Method in class graphanalysis.scheduling.Schedule
Returns a one-line string representation of the given subtree.
toString() - Method in class platform.kalray.ParseExecutionLog.LogRecord
 
toString() - Method in class platform.model.PlatformComponentProp
 
toString() - Method in class spdfcore.Actor
 
toString() - Method in class spdfcore.Channel.Link
 
toString() - Method in class spdfcore.Channel
 
toString() - Method in class spdfcore.Id
 
toString() - Method in class spdfcore.Modifier
 
toString() - Method in class spdfcore.Port
 
toString() - Method in class spdfcore.stanalys.Expression
 
toString() - Method in class spdfcore.stanalys.Fraction
 
toString() - Method in class spdfcore.stanalys.InconsistencyProof
Diagnostics
toString() - Method in class spdfcore.stanalys.Solutions
print all solutions to a string
totalBufDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
SMT variable for total buffer usage of the application
totalBufDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
SMT variable for buffer size calculation
totalBufferPrefix - Static variable in class solver.SmtVariablePrefixes
Total Buffer size of the schedule.
totalClustersUsed() - Method in class solver.distributedMemory.mapping.MappingCommSolver
A calculation of total number of clusters used in allocation If workload is allocated to a processor then it should be counted as used or unused otherwise.
totalClustersUsed(int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
A cost constraint on total number of clusters used
totalClustersUsedId() - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get Total clusters used cost SMT variable
totalClustersUsedId() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of total number of clusters used in the problem
totalClustersUsedPrefix - Static variable in class solver.SmtVariablePrefixes
Total number of clusters used
totalCommCostCalculation() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
Total distance based communication cost for the problem.
totalCommCostId() - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get Total communication cost SMT variable
totalCommCostId() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of total communication cost
totalCommCostId() - Method in class solver.distributedMemory.placement.GenericPlacementSolver
Get SMT variable for total communication cost of the problem
totalCommCostPrefix - Static variable in class solver.SmtVariablePrefixes
Total communication cost of the solution.
totalCommunicationCost - Variable in class designflow.DesignFlowSolution.Partition
Total communication cost.
totalCommunicationCost() - Method in class solver.distributedMemory.mapping.MappingCommSolver
Total communication cost depending on the task allocation.
totalCommunicationCost() - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
Calculate the total communication cost.
totalCommunicationCost() - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
 
totalExplTime - Variable in class exploration.Explorer
Current Exploration time (in milliseconds).
totalInstances - Variable in class platform.kalray.ParseExecutionLog
total instances in the graph
totalIterations - Variable in class platform.kalray.ParseExecutionLog
total number of iterations
totalProcDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
SMT variable for total processors used
totalProcDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
SMT variable to calculate processors used in the schedule
totalProcDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
SMT variable for total processors used in the schedule
totalProcessorsInPlatform - Variable in class platform.tilera.scheduleXML.PipelinedScheduleXml
Variable indicating maximum number of processors in the platform.
totalProcInCluster - Variable in class platform.kalray.scheduleXML.PipelinedScheduleXml
Number of processors in the cluster
totalProcPrefix - Static variable in class solver.SmtVariablePrefixes
Total number of processors used
totalQueryTimeOutInSeconds - Variable in class exploration.Explorer
Global time out in seconds for the exploration.
totalTimeOutInSeconds - Variable in class input.CommandLineArgs
Global time out in seconds
totalWork - Variable in class solver.distributedMemory.mapping.MappingCommSolver
 
totalWork - Variable in class solver.distributedMemory.partitioning.GenericPartitionSolver
Total workload of the application graph
totalWorkImbalance() - Method in class solver.distributedMemory.mapping.MappingCommSolver
Calculate total workload imbalance
totalWorkImbalance() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Calculate the total workload imbalance between the clusters.
totalWorkImbalanceId() - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get Total workload imbalance cost SMT variable
totalWorkImbalanceId() - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
Get SMT variable of total workload imbalance
totalWorkImbalancePrefix - Static variable in class solver.SmtVariablePrefixes
Total workload imbalance
totalWorkPrefix - Static variable in class solver.SmtVariablePrefixes
Total workload of the application.
TransformSDFtoHSDF - Class in graphanalysis
Algorithm to convert SDF graph to HSDF graph.
TransformSDFtoHSDF() - Constructor for class graphanalysis.TransformSDFtoHSDF
 
transSol - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
 
trunc(double) - Method in class exploration.paretoExploration.distanceexploration.Point
 
TryApgan - Class in tests
This class tests the APGAN algorithm.
TryApgan() - Constructor for class tests.TryApgan
 
TryApplicationXML - Class in tests
Test to see if XML parser can correctly build an application graph
TryApplicationXML() - Constructor for class tests.TryApplicationXML
 
TryBellmanFord - Class in tests
This class tests the Bellman Ford Algorithm to find the shortest or longest path.
TryBellmanFord() - Constructor for class tests.TryBellmanFord
 
TryExpression - Class in tests
Tests the Expression class with multiple test cases.
TryExpression() - Constructor for class tests.TryExpression
 
TryFraction - Class in tests
Tests the Fraction class using small example.
TryFraction() - Constructor for class tests.TryFraction
 
TryGenerateSdfXml - Class in tests
Validate the generated XML file from a graph.
TryGenerateSdfXml() - Constructor for class tests.TryGenerateSdfXml
 
TryGraphClone - Class in tests
Validate the cloning of graph object and insertion of new actor in the graph.
TryGraphClone() - Constructor for class tests.TryGraphClone
 
TryJulienMapping - Class in experiments.others
Test mapping constraints developed by Julien Legriel in "Meeting Deadlines Cheaply" paper.
TryJulienMapping() - Constructor for class experiments.others.TryJulienMapping
 
TryListScheduling - Class in experiments.others
Test list scheduling algorithm.
TryListScheduling() - Constructor for class experiments.others.TryListScheduling
 
TryLiveness - Class in tests
Demonstrates the checking of liveness property of the SPDF graph.
TryLiveness() - Constructor for class tests.TryLiveness
 
TryParsePlatformXML - Class in tests
Test the parsing of the hardware platform XML.
TryParsePlatformXML() - Constructor for class tests.TryParsePlatformXML
 
TryPrintGraph - Class in tests
Validate the Dot File generation from Graph
TryPrintGraph() - Constructor for class tests.TryPrintGraph
 
TryQuasiStatic - Class in underDevelopment
 
TryQuasiStatic() - Constructor for class underDevelopment.TryQuasiStatic
 
TrySafety - Class in tests
Test verification of safety property of an SPDF graph.
TrySafety() - Constructor for class tests.TrySafety
 
TrySolutions - Class in tests
Test the balance equation solver using a cyclic graph two sets of rates: consistent and inconsistent.
TrySolutions() - Constructor for class tests.TrySolutions
 
TrySpdf - Class in tests
Purpose: Demonstrate the basic API and PEDF extension.
TrySpdf() - Constructor for class tests.TrySpdf
 
TryThroughput - Class in tests
Test to verify throughput calculation of an example graph.
TryThroughput() - Constructor for class tests.TryThroughput
 
TryTransformSDFToHSDF - Class in tests
Test conversion of SDF graph to HSDF graph with simple tests.
TryTransformSDFToHSDF() - Constructor for class tests.TryTransformSDFToHSDF
 
type - Variable in class spdfcore.Modifier
 
typeDifferentiateAlgo - Variable in class input.CommandLineArgs
Use type variables in SMT solving for pipelined scheduling
typeDifferentiateAlgo - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Enable differentiation in the types of tasks, depending on yPrime of task is less than xPrime (type I) or xPrime of task is less than yPrime (type II)
typeMutexConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.TypeConstraints
Generate SMT constraints for type variables
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