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 

S

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