- 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