- 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.