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 

E

edgeIntroducesCycle(Channel) - Method in class graphanalysis.scheduling.Apgan
Check if this channel introduces a cycle
edgeQuantities - Variable in class graphanalysis.BellmanFord
Weight for each channel
edgeQuantities - Variable in class underDevelopment.QuasiStaticScheduling
 
enableStatementStack - Variable in class solver.Z3Solver
For every statement that we assert, we can save it on our own stack to generate the output file.
enableTimeBounds() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Generate constraints for lower and upper bounds on enable times
enableTimeDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
SMT variables for enable time of the task
enableTimeId(String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get SMT variable for enabled time for execution of actor instance.
enableTimeId(String) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Get SMT variable for enabled time for execution of task.
enableTimePrefix - Static variable in class solver.SmtVariablePrefixes
Enable time of a task
endActorFiring(Actor) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
endDotTimePrefix - Static variable in class solver.SmtVariablePrefixes
End time of a task with communication task at its output.
endPrimeId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT variable for yPrime of an actor instance.
endPrimePrefix - Static variable in class solver.SmtVariablePrefixes
yPrime variable for pipelined scheduling.
endTime - Variable in class output.GanttChart.Record
End time of the task
endTimeDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
SMT variables for end times of all the tasks.
endTimeDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
endTimeDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
SMT variables for end times of the tasks
endTimeDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
SMT variables for end time of tasks.
endTimePrefix - Static variable in class solver.SmtVariablePrefixes
End time of a task
entriesSortedByValues(Map<K, V>) - Static method in class graphanalysis.scheduling.LeftEdgeModelToSchedule
 
environmentParams - Variable in class spdfcore.stanalys.ParamComm
the set of all environment parameters.
epsilon - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
Current epsilon value of the grid.
equals(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
 
equals(Point) - Method in class exploration.paretoExploration.gridexploration.Point
Check if this point has same co-ordinates as other Point p.
equals(Object) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Int
 
equals(Object) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.IterTask
 
equals(Object) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.OccupancyVector
 
equals(Object) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Task
 
equals(Object) - Method in class graphanalysis.throughput.Throughput.TransitionSystem.State
 
equals(Object) - Method in class spdfcore.Channel.Link
 
equals(Object) - Method in class spdfcore.Id
 
equals(Object) - Method in class spdfcore.stanalys.DivisorSet
 
equals(Object) - Method in class spdfcore.stanalys.Expression
 
equals(Object) - Method in class spdfcore.stanalys.Fraction
 
equations - Variable in class graphanalysis.scheduling.Apgan
Solution of omega actor.
establishUniquePeriodActors() - Method in class spdfcore.stanalys.ParamComm
Check whether all the modified parameters have have a unique instance of modifier.
evaluatePostfix(String) - Method in class graphanalysis.scheduling.Schedule
 
examinedActors - Variable in class spdfcore.stanalys.LivenessAcyclic.Data
 
execSDFgraph() - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
executionTime(LeftEdgeModelToSchedule.Task) - Method in interface graphanalysis.scheduling.LeftEdgeModelToSchedule.Model
 
executionTime(LeftEdgeModelToSchedule.IterTask) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
 
executionTime - Variable in class spdfcore.Actor
Execution time of an actor.
experiments - package experiments
package contains a number of experiments.
experiments.distributedMemory - package experiments.distributedMemory
package contains experiments for multi-stage design flow for Kalray platform.
experiments.others - package experiments.others
package contains a miscellaneous of experiments for exploration, using solvers etc.
experiments.sharedMemory - package experiments.sharedMemory
package contains experiments for Tilera processor architecture which as shared memory and cache coherence.
experiments.sharedMemory.oneDimension - package experiments.sharedMemory.oneDimension
package contains a 1D design space exploration experiments.
experiments.sharedMemory.threeDimension - package experiments.sharedMemory.threeDimension
package contains a 3D design space exploration experiments.
experiments.sharedMemory.twoDimension - package experiments.sharedMemory.twoDimension
package contains a 2D design space exploration experiments.
exploration - package exploration
package contains classes for performing design space exploration.
exploration.interfaces - package exploration.interfaces
package contains interfaces that must be implmented by the solver class.
exploration.interfaces.oneDim - package exploration.interfaces.oneDim
package contains interfaces for a 1D design space exploration experiments.
exploration.interfaces.threeDim - package exploration.interfaces.threeDim
package contains interfaces for a 3D design space exploration experiments.
exploration.interfaces.twoDim - package exploration.interfaces.twoDim
package contains interfaces for a 2D design space exploration experiments.
exploration.oneDimensionExploration - package exploration.oneDimensionExploration
package contains algorithms in order to perform one-dimensional exploration.
exploration.parameters - package exploration.parameters
package contains exploration parameters which we need to perform any design space exploration.
exploration.parameters.oneDimension - package exploration.parameters.oneDimension
package contains exploration parameters for all one-dimensional exploration.
exploration.parameters.threeDimension - package exploration.parameters.threeDimension
package contains exploration parameters for all three-dimensional exploration.
exploration.parameters.twoDimension - package exploration.parameters.twoDimension
package contains exploration parameters for all two-dimensional exploration.
exploration.paretoExploration - package exploration.paretoExploration
package contains algorithms in order to perform multi-dimensional design space exploration.
exploration.paretoExploration.distanceexploration - package exploration.paretoExploration.distanceexploration
package contains distance-based algorithm to perform multi-dimensional design space exploration.
exploration.paretoExploration.gridexploration - package exploration.paretoExploration.gridexploration
package contains algorithms in order to perform multi-dimensional design space exploration.
explorationGranularity - Variable in class exploration.ExplorationParameters
Granularity of Exploration.
ExplorationParameters - Class in exploration
An interface class to the design space exploration algorithms.
ExplorationParameters(int) - Constructor for class exploration.ExplorationParameters
Initialization exploration parameters object.
explore() - Method in class exploration.oneDimensionExploration.BinarySearchOneDim
Perform one dimension binary search exploration
explore() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Perform grid-based exploration
exploredPointsFileName - Variable in class exploration.Explorer
Filename for explored points file.
explorePointsfile - Variable in class exploration.Explorer
Log file containing all explored points.
Explorer - Class in exploration
Abstract Design Space Exploration class.
Explorer(String, int, int, int, ExplorationParameters) - Constructor for class exploration.Explorer
Initialize Explorer class object.
explParams - Variable in class exploration.Explorer
Exploration parameters.
Expression - Class in spdfcore.stanalys
This is a class for parsing the String expressions and applying arithmetic operations.
Expression(String) - Constructor for class spdfcore.stanalys.Expression
 
Expression(DivisorSet) - Constructor for class spdfcore.stanalys.Expression
 
expressions - Variable in class graphanalysis.scheduling.Apgan
Expressions for the graph
expressions - Variable in class graphanalysis.throughput.Throughput
Expressions to get the solutions.
expressions - Variable in class spdfcore.stanalys.Solutions.Data
 
expressions - Variable in class spdfcore.stanalys.SpdfAnalyzer
 
expressions - Variable in class tests.TryLiveness
 
expressions - Variable in class tests.TrySafety
 
expressions - Variable in class underDevelopment.TryQuasiStatic
 
extractNameFromPath(String) - Method in class input.CommandLineArgs
The last field in the whole path contains the file name.
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