- Safety - Class in spdfcore.stanalys
-
Performs the check for the safety criterion
- Safety() - Constructor for class spdfcore.stanalys.Safety
-
- safety - Variable in class spdfcore.stanalys.SpdfAnalyzer
-
- safety - Variable in class tests.TryLiveness
-
- safety - Variable in class tests.TrySafety
-
- safety - Variable in class underDevelopment.TryQuasiStatic
-
- satPointsfile - Variable in class exploration.Explorer
-
Log file containing all SAT points.
- satPointsFileName - Variable in class exploration.Explorer
-
Filename for SAT points file.
- satPointsList - Variable in class exploration.oneDimensionExploration.BinarySearchOneDim
-
List of SAT points from the exploration
- satPointsList - Variable in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- satPointsList - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
List of all the SAT points explored.
- satPointsModelList - Variable in class exploration.oneDimensionExploration.BinarySearchOneDim
-
List of models for each SAT point
- satPointsModelList - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Model for every SAT point discovered in the exploration.
- satQueryModel - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Current SMT query model from a SAT point obtained.
- satSolver - Variable in class exploration.parameters.oneDimension.CommCostParams
-
Solver being used to determine the communication cost.
- satSolver - Variable in class exploration.parameters.oneDimension.LatencyParams
-
Solver being used to determine the latency cost.
- satSolver - Variable in class exploration.parameters.oneDimension.PeriodParams
-
Solver being used to determine the period cost.
- satSolver - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
Solver being used to determine the period cost.
- satSolver - Variable in class exploration.parameters.threeDimension.LatProcBuffParams
-
Solver being used to solve this problem.
- satSolver - Variable in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
Solver being used to solve this problem.
- satSolver - Variable in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
Solver being used to solve this problem.
- satSolver - Variable in class exploration.parameters.twoDimension.LatBuffParams
-
Solver being used for the Exploration.
- satSolver - Variable in class exploration.parameters.twoDimension.LatProcParams
-
Solver being used for the Exploration.
- satSolver - Variable in class exploration.parameters.twoDimension.PeriodProcParams
-
Solver being used for the Exploration.
- satSolver - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
Solver being used for the Exploration.
- satSolver - Variable in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
Solver being used for the Exploration.
- scale(Point) - Method in class exploration.paretoExploration.distanceexploration.ScalePoint
-
- scaleFractions(Solutions.Data) - Method in class spdfcore.stanalys.Solutions
-
Scale the fractional solutions from the results of the solver
to be non-fractional, using the least common multiple of
the denominators.
- ScalePoint - Class in exploration.paretoExploration.distanceexploration
-
- ScalePoint(int[], int[]) - Constructor for class exploration.paretoExploration.distanceexploration.ScalePoint
-
- schedIndex - Variable in class platform.kalray.ParseExecutionLog.LogRecord
-
- schedMatrixConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
- schedMatrixDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Schedule matrix where the problem is solved
- schedMatrixPrefix - Static variable in class solver.SmtVariablePrefixes
-
Schedule matrix
- schedule - Variable in class designflow.DesignFlowSolution
-
Scheduling solution
- schedule - Variable in class graphanalysis.scheduling.ListScheduling
-
Schedule produced
- Schedule - Class in graphanalysis.scheduling
-
Some unused schedule class
- Schedule() - Constructor for class graphanalysis.scheduling.Schedule
-
- Schedule.Node - Class in graphanalysis.scheduling
-
- Schedule.Node() - Constructor for class graphanalysis.scheduling.Schedule.Node
-
- scheduleInfixStr - Variable in class graphanalysis.scheduling.Schedule
-
- schedulePostfixStr - Variable in class graphanalysis.scheduling.Schedule
-
- scheduleRootNode - Variable in class graphanalysis.scheduling.Schedule
-
- SchedulingConstraints - Class in solver.distributedMemory.constraints
-
Scheduling constraints for design flow.
- SchedulingConstraints() - Constructor for class solver.distributedMemory.constraints.SchedulingConstraints
-
Initialize the constraints lists.
- schedulingConstraints - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Scheduling constraints
- schedulingConstraints - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- sdf - Variable in class graphanalysis.scheduling.ListScheduling
-
Input SDF graph
- sdfAllocation - Variable in class designflow.DesignFlowSolution.Mapping
-
Are the SDF actors allocated to groups in mapping?
TODO: HSDF is not yet supported.
- sdfAllocation - Variable in class designflow.DesignFlowSolution.Partition
-
Is it a SDF partitioning?
TODO: HSDF is not yet supported
- searchLongestPath(Actor, Actor) - Method in class underDevelopment.QuasiStaticScheduling
-
- searchPath(Actor, Actor, boolean) - Method in class graphanalysis.BellmanFord
-
Search for a shortest or longest path between two actors.
- selectEdge() - Method in class graphanalysis.scheduling.Apgan
-
Select an edge for collapsing.
- selectionStrategies - Variable in class graphanalysis.scheduling.ListScheduling
-
list of strategies to be applied on top of random
- selectPoint(Knee) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- selectProcWithMinTime(int[]) - Method in class graphanalysis.scheduling.ListScheduling
-
Find processor available with minimum start time
- selectReadyActor() - Method in class graphanalysis.scheduling.ListScheduling
-
This function selects actor from the ready list.
- selfEdgeActorConstraint() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Generate SMT constraints for scheduling self-edge actors
(end time - start time) <= (initial tokens * period)
- selfEdgeActorConstraint() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Special scheduling constraint for self-edge actors
- set(int, double) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- set(double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Set each dimension to a constant value.
- set(int) - Method in class exploration.paretoExploration.gridexploration.Point
-
Set each dimension to a constant value.
- set(int[]) - Method in class exploration.paretoExploration.gridexploration.Point
-
Set different values for different dimensions of the point.
- set(double[]) - Method in class exploration.paretoExploration.gridexploration.Point
-
Set different values for different dimensions of the point.
- set(int, double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Set value of only one dimension of the point.
- setActor(Actor) - Method in class spdfcore.PortRef
-
Set actor to which this port belongs to.
- setActorName(String) - Method in class spdfcore.PortRef
-
Set name of the actor to which the port belongs to
- setActorTimes(HashMap<String, String>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
Fix task start times to a given value in the model
- setActorType(Actor.ActorType) - Method in class spdfcore.Actor
-
Set Actor type.
- setAutoFlag() - Method in class spdfcore.Actor
-
set auto flag for purely analytical actors
- setAutoFlag() - Method in class spdfcore.Channel
-
set auto flag for purely analytical channels
- setB(Point) - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- setBounds(int[], int[]) - Method in class exploration.ExplorationParameters
-
Set lower and upper bounds for the exploration for each dimension.
- setConstraint(int, int) - Method in class exploration.ExplorationParameters
-
Set a constraint for a particular dimension.
- setConstraint(int, int) - Method in class exploration.parameters.oneDimension.CommCostParams
-
- setConstraint(int, int) - Method in class exploration.parameters.oneDimension.LatencyParams
-
- setConstraint(int, int) - Method in class exploration.parameters.oneDimension.PeriodParams
-
- setConstraint(int, int) - Method in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
- setConstraint(int, int) - Method in class exploration.parameters.threeDimension.LatProcBuffParams
-
- setConstraint(int, int) - Method in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
- setConstraint(int, int) - Method in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
- setConstraint(int, int) - Method in class exploration.parameters.twoDimension.LatBuffParams
-
- setConstraint(int, int) - Method in class exploration.parameters.twoDimension.LatProcParams
-
- setConstraint(int, int) - Method in class exploration.parameters.twoDimension.PeriodProcParams
-
- setConstraint(int, int) - Method in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
- setConstraint(int, int) - Method in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
- setDesignFlowSolution(DesignFlowSolution, Map<String, String>) - Method in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Set design flow solution parameters such as partition aware graph, solutions, etc.
- setDesignFlowSolution(DesignFlowSolution, Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
- setDesignFlowSolution(DesignFlowSolution, Map<String, String>) - Method in class solver.distributedMemory.partitioning.PartitionSolverSDF
-
- setDmaSetupTime(int) - Method in class platform.model.Platform
-
Set the DMA initialization time in the platform.
- setExecTime(int) - Method in class spdfcore.Actor
-
Sets execution time of the actor
- setExplorationGranularity(int, int) - Method in class exploration.ExplorationParameters
-
Set exploration granularity for a given dimension.
- setFunc(String) - Method in class spdfcore.Id
-
Specify the 'function'(i.e.
- setG(Point) - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- setGraph(Graph) - Method in class spdfcore.Channel
-
Called by the graph when the link is getting assigned to the graph
- setGraph(Graph) - Method in class spdfcore.Id
-
Called by the graph when the object is getting assigned to the graph
- setGraph(Graph) - Method in class spdfcore.stanalys.ParamComm
-
set the graph to be managed by this ParamComm object
- setGraphAppName(String) - Method in class spdfcore.Graph
-
- setH(double, int) - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- setInitialTokens(int) - Method in class spdfcore.Channel
-
Set Initial tokens
- setLowerBound(int, int) - Method in class exploration.ExplorationParameters
-
Set only lower bound of a dimension.
- setMapping(DesignFlowSolution.Mapping) - Method in class designflow.DesignFlowSolution
-
Set mapping solutions in design flow.
- setName(String) - Method in class spdfcore.Channel
-
Set the name of the channel
- setName(String) - Method in class spdfcore.Id
-
Set the name of actor/port/modified parameter.
- setParameter(String) - Method in class spdfcore.Modifier
-
Set Parameter Name
- setParameterType(String) - Method in class spdfcore.Modifier
-
Set type of the parameter
- setPartition(DesignFlowSolution.Partition) - Method in class designflow.DesignFlowSolution
-
Set partitioning solution.
- setpartitionAwareGraph(Graph) - Method in class designflow.DesignFlowSolution
-
Set partition aware graph in SDF
- setPartitionAwareGraphSolutions(Solutions) - Method in class designflow.DesignFlowSolution
-
Set solutions to partition aware graph
- setPeriod(String) - Method in class spdfcore.Modifier
-
Set period
- setPort(Port) - Method in class spdfcore.PortRef
-
Set port name to which this port reference points to
- setPortName(String) - Method in class spdfcore.PortRef
-
Set name of the port
- setPortRate(Graph, String, String, String) - Method in class graphanalysis.TransformSDFtoHSDF
-
Set the properties of the port.
- setPortRate(Graph, String, String, String) - Method in class tests.TestBase
-
- setPower(int, int) - Method in class spdfcore.stanalys.DivisorSet
-
- setPower(String, int) - Method in class spdfcore.stanalys.DivisorSet
-
- setProp(Id.PROP, String) - Method in class spdfcore.Id
-
- setR(double) - Method in class exploration.paretoExploration.distanceexploration.Knee
-
- setRandomSeed(int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Set a random seed for Z3 solver.
- setRandomSeed(Solver, int) - Method in class solver.Z3Context
-
Set a Random seed for the Solver.
- setRate(String) - Method in class spdfcore.Port
-
Sets the rate value for the given port as textual expression
- setSchedule(DesignFlowSolution.Schedule) - Method in class designflow.DesignFlowSolution
-
Set schedule in a design flow solution.
- setSolver(CommunicationCostConstraints) - Method in class exploration.parameters.oneDimension.CommCostParams
-
Set the SMT solver for exploration purposes.
- setSolver(LatencyConstraints) - Method in class exploration.parameters.oneDimension.LatencyParams
-
Set the SMT solver for exploration purposes.
- setSolver(PeriodConstraints) - Method in class exploration.parameters.oneDimension.PeriodParams
-
Set the SMT solver for exploration purposes.
- setSolver(UnfoldingScheduling) - Method in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
Set the SMT solver for exploration purposes.
- setSolver(LatProcBuffConstraints) - Method in class exploration.parameters.threeDimension.LatProcBuffParams
-
Set the SMT solver for exploration purposes.
- setSolver(MaxWrkLdCommCostClusterConstraints) - Method in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
Set the SMT solver for exploration purposes.
- setSolver(WorkloadCommClusterConstraints) - Method in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
Set the SMT solver for exploration purposes.
- setSolver(LatBuffConstraints) - Method in class exploration.parameters.twoDimension.LatBuffParams
-
Set the SMT solver for exploration purposes.
- setSolver(LatProcConstraints) - Method in class exploration.parameters.twoDimension.LatProcParams
-
Set the SMT solver for exploration purposes.
- setSolver(PeriodProcConstraints) - Method in class exploration.parameters.twoDimension.PeriodProcParams
-
Set the SMT solver for exploration purposes.
- setSolver(UnfoldingScheduling) - Method in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
Set the SMT solver for exploration purposes.
- setSolver(WrkLdCommCostConstraints) - Method in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
Set the SMT solver for exploration purposes.
- setTacTicSolver(String[]) - Method in class solver.Z3Solver
-
Instead of default solver, we would want to use tactic solver.
- setThrowExceptionFlag(boolean) - Method in class spdfcore.stanalys.LivenessAcyclic
-
Before checking the liveness, tell the checker whether
we want an exception if graph is not live
- setThrowExceptionFlag(boolean) - Method in class spdfcore.stanalys.Solutions
-
Before solving, tell the solver whether we want an exception
if inconsistency is found
- setTokenSize(int) - Method in class spdfcore.Channel
-
Set the size of tokens
- setUpperBound(int, int) - Method in class exploration.ExplorationParameters
-
Set only upper bound of a dimension.
- simpleCycleVisit(Actor, List<Actor>) - Method in class graphanalysis.GraphFindCycles
-
- SingleLatencyQuery - Class in experiments.sharedMemory.oneDimension
-
One dimension exploration of latency for shared memory architecture
- SingleLatencyQuery() - Constructor for class experiments.sharedMemory.oneDimension.SingleLatencyQuery
-
- SinglePeriodQuery - Class in experiments.sharedMemory.oneDimension
-
One dimension exploration of period for shared memory architecture
- SinglePeriodQuery() - Constructor for class experiments.sharedMemory.oneDimension.SinglePeriodQuery
-
- size - Variable in class input.ParseHardwarePlatform.MemoryInfo
-
- sizeInBytes - Variable in class platform.model.Memory
-
Size of the Memory in bytes.
- smtQuery(int[]) - Method in class exploration.Explorer
-
Perform the SMT query
- SmtVariablePrefixes - Class in solver
-
This class contains declaration of all the prefixes used for variables in the solver.
- SmtVariablePrefixes() - Constructor for class solver.SmtVariablePrefixes
-
- solutions - Variable in class designflow.DesignFlowSolution
-
Solutions to Application Graph SDF
- solutions - Variable in class graphanalysis.BreadthFirstSearch
-
Solutions of the graph containing repetition count.
- solutions - Variable in class graphanalysis.CalculateBounds
-
Solutions of the graph containing repetition count.
- solutions - Variable in class graphanalysis.properties.GraphAnalysisSdfAndHsdf
-
Solutions of SDF graph
- solutions - Variable in class graphanalysis.scheduling.Apgan
-
Solutions of the input graph
- solutions - Variable in class graphanalysis.scheduling.ListScheduling
-
Solutions of SDF GRAPH
- solutions - Variable in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Solutions of the application graph.
- solutions - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Solutions for application graph
- solutions - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Solutions of application graph
- solutions - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Solutions for Application graph.
- solutions - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Solutions to application graph
- Solutions - Class in spdfcore.stanalys
-
Solver of balance equations of SPDF
- Solutions() - Constructor for class spdfcore.stanalys.Solutions
-
- solutions - Variable in class spdfcore.stanalys.Solutions
-
Actor and its mapped solution expression
- solutions - Variable in class spdfcore.stanalys.SpdfAnalyzer
-
- solutions - Variable in class tests.TryLiveness
-
- solutions - Variable in class tests.TrySafety
-
- solutions - Variable in class underDevelopment.QuasiStaticScheduling
-
- solutions - Variable in class underDevelopment.TryQuasiStatic
-
- Solutions.Data - Class in spdfcore.stanalys
-
local data needed when solving the balance equations
- Solutions.Data() - Constructor for class spdfcore.stanalys.Solutions.Data
-
- solve(Graph, GraphExpressions) - Method in class spdfcore.stanalys.Solutions
-
Use method of "Software Synthesis from Dataflow Graphs" book
of Bhattacharrya, generalized to SPDF graphs
If inconsistency is found and throwExpetion==true (default)
then throws am exception.
- solve(Graph, GraphExpressions, Actor) - Method in class spdfcore.stanalys.Solutions
-
Solve balance equations.
- solver - package solver
-
package contains Z3 Specific code.
- solver - Variable in class input.CommandLineArgs
-
Solver to use for SMT Solving
- solver.distributedMemory.constraints - package solver.distributedMemory.constraints
-
package contains mapping, scheduling constraints that can be applied to different solvers.
- solver.distributedMemory.mapping - package solver.distributedMemory.mapping
-
package contains solver for mapping problem (partition + allocation + communication cost).
- solver.distributedMemory.partitioning - package solver.distributedMemory.partitioning
-
package contains solver for partitioning problem.
- solver.distributedMemory.placement - package solver.distributedMemory.placement
-
package contains solver for placement problem.
- solver.distributedMemory.scheduling - package solver.distributedMemory.scheduling
-
package contains solver for scheduling problem for a distributed memory architecture.
- solver.sharedMemory.combinedSolver - package solver.sharedMemory.combinedSolver
-
package contains solver for scheduling problem for a shared memory architecture.
- solver.sharedMemory.combinedSolver.nonpipelined - package solver.sharedMemory.combinedSolver.nonpipelined
-
package contains solver for scheduling problem for a shared memory architecture for non-pipelined scheduling.
- solver.sharedMemory.combinedSolver.pipelined - package solver.sharedMemory.combinedSolver.pipelined
-
package contains solver for scheduling problem for a
shared memory architecture for pipelined scheduling.
- solveRecursively(Actor, Solutions.Data) - Method in class spdfcore.stanalys.Solutions
-
one step of recursion, from solution for current actor
find solutions of its neighbors, and call this function
for each neighbor
- SolverFunctions - Interface in exploration.interfaces
-
Interface that every solver must implement so that it could
be used by the design space exploration.
- solverQuery(int) - Method in class exploration.ExplorationParameters
-
After the constraints are set, the solver is queried for evaluation.
- solverQuery(int) - Method in class exploration.parameters.oneDimension.CommCostParams
-
- solverQuery(int) - Method in class exploration.parameters.oneDimension.LatencyParams
-
- solverQuery(int) - Method in class exploration.parameters.oneDimension.PeriodParams
-
- solverQuery(int) - Method in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
- solverQuery(int) - Method in class exploration.parameters.threeDimension.LatProcBuffParams
-
- solverQuery(int) - Method in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
- solverQuery(int) - Method in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
- solverQuery(int) - Method in class exploration.parameters.twoDimension.LatBuffParams
-
- solverQuery(int) - Method in class exploration.parameters.twoDimension.LatProcParams
-
- solverQuery(int) - Method in class exploration.parameters.twoDimension.PeriodProcParams
-
- solverQuery(int) - Method in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
- solverQuery(int) - Method in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
- sortDma() - Method in class platform.model.Cluster
-
Sort the DMA inside the cluster according to their ID.
- sortElements() - Method in class platform.model.Platform
-
We sort the components of the platform according to their ID's
This will help to address them using the index variable especially
in the API like
Processor.getMemory(int)
- sortProcessors() - Method in class platform.model.Cluster
-
Sort the processors inside the cluster according to their ID.
- sourceCluster - Variable in class platform.model.NetworkLink
-
Source cluster of the network link.
- sourcePort - Variable in class platform.model.NetworkLink
-
Source port number of the network link.
- sourceProcessor - Variable in class platform.model.NetworkLink
-
Source processor of the network link.
- SpdfAnalyzer - Class in spdfcore.stanalys
-
Static analysis for conversion to PEDF
- SpdfAnalyzer(Graph) - Constructor for class spdfcore.stanalys.SpdfAnalyzer
-
- spdfcore - package spdfcore
-
package contains components to build an application graph.
- spdfcore.stanalys - package spdfcore.stanalys
-
package contains classes to build the
solutions for balance equations of a graph and perform safety,
liveness analysis, consistency check etc.
- speed - Variable in class input.ParseHardwarePlatform.ClusterInfo
-
- speed - Variable in class input.ParseHardwarePlatform.ProcessorInfo
-
- speed - Variable in class platform.model.Cluster
-
Speed of the cluster.
- speed - Variable in class platform.model.Processor
-
Speed of the processor.
- SplitJoinGraphAnalysis - Class in graphanalysis.properties
-
Different methods to check certain properties of a Split-join Graph.
- SplitJoinGraphAnalysis(Graph, Solutions, Graph) - Constructor for class graphanalysis.properties.SplitJoinGraphAnalysis
-
Initialize split-join analysis object.
- SplitJoinGraphAnalysis(Graph, Solutions) - Constructor for class graphanalysis.properties.SplitJoinGraphAnalysis
-
Initialize split-join analysis object.
- SplitJoinGraphAnalysis.EdgeType - Enum in graphanalysis.properties
-
Type of edge
- SplitJoinGraphAnalysis.EdgeType() - Constructor for enum graphanalysis.properties.SplitJoinGraphAnalysis.EdgeType
-
- src - Variable in class input.ParseHardwarePlatform.LinkInfo
-
- srcPort - Variable in class input.ParseHardwarePlatform.LinkInfo
-
- startActorFiring(Actor) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
-
- startActorList - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
list of actors which can start at time zero.
- startActorList - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
List of actors without predecessors.
- startActorList - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
List of actors without predecessors.
- startPrimeId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Get SMT variable for xPrime of an actor instance.
- startPrimePrefix - Static variable in class solver.SmtVariablePrefixes
-
xPrime variable for pipelined scheduling.
- startTime(LeftEdgeModelToSchedule.Task) - Method in interface graphanalysis.scheduling.LeftEdgeModelToSchedule.Model
-
- startTime(LeftEdgeModelToSchedule.IterTask) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
-
- startTime - Variable in class output.GanttChart.Record
-
Start time of the task
- startTimeDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variables for start times of all the tasks.
- startTimeDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- startTimeDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variables for start times of the tasks
- startTimeDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
SMT variables for start time of tasks.
- startTimePrefix - Static variable in class solver.SmtVariablePrefixes
-
Start time of a task
- statementCountAfterPush - Variable in class solver.Z3Solver
-
Number of statements asserted after context pushed.
- stopOnTimeout - Variable in class exploration.oneDimensionExploration.BinarySearchOneDim
-
Exploration stops on timeout if this flag is set to true
- storedStates - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
-
- storedStatesHash - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
-
- storeEquation() - Method in class graphanalysis.scheduling.Apgan
-
Storing APGAN equations
- storeState(Throughput.TransitionSystem.State) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
-
- strictProcSymConstraints(HashSet<String>, int, Cluster, HashMap<String, String>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
Generate strict processor constraint to allocate a new processor only
if the processor with lower index and no empty time slot.
- string - Variable in class spdfcore.stanalys.Expression
-
string provided by the user
- stringToBoolean(String) - Method in class input.CommandLineArgs
-
Check if an input is boolean true or false.
- stronglyConnectedComponents - Variable in class graphanalysis.Kosaraju
-
List of strongly connected components
- symmetryDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
SMT variables for Processor Symmetry
- symmetryDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- symmetryDecl - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
SMT variable for processor symmetry
- symmetryDecl - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
SMT variables for symmetry
- symmetryDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
SMT variables for processor symmetry