- ParamComm - Class in spdfcore.stanalys
-
"Parameter Communication" class manages parameter sources and users.
- ParamComm() - Constructor for class spdfcore.stanalys.ParamComm
-
- paramcomm - Variable in class spdfcore.stanalys.SpdfAnalyzer
-
- paramcomm - Variable in class tests.TryLiveness
-
- paramcomm - Variable in class tests.TrySafety
-
- paramcomm - Variable in class underDevelopment.QuasiStaticScheduling
-
- paramcomm - Variable in class underDevelopment.TryQuasiStatic
-
- paretoExploration() - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- paretoModelList - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Model for every Pareto point from the exploration.
- paretoPoints - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
List of Pareto Points from the exploration.
- paretoPointsfile - Variable in class exploration.Explorer
-
Log file containing Pareto Points (final result).
- paretoPointsFileName - Variable in class exploration.Explorer
-
Filename for Pareto points file.
- parse() - Method in class spdfcore.stanalys.Expression
-
string ---> divisors;
parse the string provided by the user, if not already parsed
- parse(Graph) - Method in class spdfcore.stanalys.GraphExpressions
-
parse the expressions for the periods and rates from textual
form to internal form.
- parseActorElement(Node, Graph) - Method in class input.ParseApplicationGraph
-
Parse Actor information from XML file.
- parseActorPropertiesElement(Node, Graph) - Method in class input.ParseApplicationGraph
-
Parse Actor properties from XML file.
- ParseApplicationGraph - Class in input
-
Parse Application graph from an XML file.
- ParseApplicationGraph() - Constructor for class input.ParseApplicationGraph
-
- parseArgs(String[]) - Method in class input.CommandLineArgs
-
Parse the command line arguments
- parseChannelElement(Node, Graph) - Method in class input.ParseApplicationGraph
-
Parse Channel information from XML file.
- parseChannelPropertiesElement(Node, Graph) - Method in class input.ParseApplicationGraph
-
Parse Channel properties from XML file.
- ParseExecutionLog - Class in platform.kalray
-
Parse the execution log generated from the Kalray platform.
- ParseExecutionLog() - Constructor for class platform.kalray.ParseExecutionLog
-
Initialize parse log object
- ParseExecutionLog - Class in platform.tilera
-
Parse the execution log generated by the framework running on Tilera platform.
- ParseExecutionLog() - Constructor for class platform.tilera.ParseExecutionLog
-
- ParseExecutionLog.LogRecord - Class in platform.kalray
-
Log record object which has information about
one instance of actor executed includes its start and
end times, processor allocated etc.
- ParseExecutionLog.LogRecord(String, int, int, int, int, int, long, long, long, long) - Constructor for class platform.kalray.ParseExecutionLog.LogRecord
-
Initialize the log record object.
- parseGraphActorsNode(Node) - Method in class input.ParseProfileInfo
-
Parse SDF actors.
- parseGraphChannelsNode(Node) - Method in class input.ParseProfileInfo
-
Parse SDF channels.
- parseGraphSdfPropertiesNode(Node) - Method in class input.ParseProfileInfo
-
Parse SDF graph properties
- parseHardwareLog(String[]) - Static method in class experiments.others.ParseKalrayHardwareLog
-
Parse raw hardware log and generate gantt chart for an iteration
- parseHardwareLogFile(int, int, String) - Method in class platform.tilera.ParseExecutionLog
-
Parse the hardware log file
- ParseHardwarePlatform - Class in input
-
Parse Platfom XML to build a platform model.
- ParseHardwarePlatform() - Constructor for class input.ParseHardwarePlatform
-
- ParseHardwarePlatform.ClusterInfo - Class in input
-
Class to save scanned information about Cluster from the XML.
- ParseHardwarePlatform.ClusterInfo() - Constructor for class input.ParseHardwarePlatform.ClusterInfo
-
- ParseHardwarePlatform.DmaInfo - Class in input
-
Class to save scanned information about DMA from the XML.
- ParseHardwarePlatform.DmaInfo() - Constructor for class input.ParseHardwarePlatform.DmaInfo
-
- ParseHardwarePlatform.LinkInfo - Class in input
-
Class to save scanned information about Network Link from the XML.
- ParseHardwarePlatform.LinkInfo() - Constructor for class input.ParseHardwarePlatform.LinkInfo
-
- ParseHardwarePlatform.MemoryInfo - Class in input
-
Class to save scanned information about Memory from the XML.
- ParseHardwarePlatform.MemoryInfo() - Constructor for class input.ParseHardwarePlatform.MemoryInfo
-
- ParseHardwarePlatform.PlatformProp - Class in input
-
Class to save the properties of platform.
- ParseHardwarePlatform.PlatformProp() - Constructor for class input.ParseHardwarePlatform.PlatformProp
-
- ParseHardwarePlatform.ProcessorInfo - Class in input
-
Class to save scanned information about Processor from the XML.
- ParseHardwarePlatform.ProcessorInfo() - Constructor for class input.ParseHardwarePlatform.ProcessorInfo
-
- ParseKalrayHardwareLog - Class in experiments.others
-
Generate execution log generated on the Kalray platform and generate a Gantt chart.
- ParseKalrayHardwareLog() - Constructor for class experiments.others.ParseKalrayHardwareLog
-
- parseLogFile(String) - Method in class platform.kalray.ParseExecutionLog
-
Parse execution log file.
- parseModel(Model) - Method in class solver.Z3Context
-
Parse a Model from the model class to a hash map.
- parseMultipleGraphXml(String) - Method in class input.ParseApplicationGraph
-
Parse an XML file for application graph and build a graph structure.
- parsePlatformGraph(Element) - Method in class input.ParseHardwarePlatform
-
Build the platform model from the XML file.
- parsePlatformXml(String) - Method in class input.ParseHardwarePlatform
-
Parse the platform XML file and build platform model.
- ParseProfileInfo - Class in input
-
Parse profiling information generated from the framework to
build application graph.
- ParseProfileInfo() - Constructor for class input.ParseProfileInfo
-
- parseProfileXml(String) - Method in class input.ParseProfileInfo
-
Parse profiling XML file from framework and build application graph.
- parseScheduleString(String) - Method in class graphanalysis.scheduling.Schedule
-
- parseSdfGraph(Element) - Method in class input.ParseApplicationGraph
-
Top level function to build SDF graph.
- parseSingleGraphXml(String) - Method in class input.ParseApplicationGraph
-
Parse single application graph from XML file.
- parseSolverType(String) - Method in class input.CommandLineArgs
-
Parse which solver to use.
- partition - Variable in class designflow.DesignFlowSolution
-
Partitioning solution
- partition - Variable in class solver.distributedMemory.placement.GenericPlacementSolver
-
Partitioning solution
- partitionAwareGraph - Variable in class designflow.DesignFlowSolution
-
Partition Aware Graph
Note : This graph is same sdf graph but with additional actors for communication.
- partitionAwareGraph - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Partition aware graph
- partitionAwareGraph - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- partitionAwareGraphSolutions - Variable in class designflow.DesignFlowSolution
-
Solutions to Partition Aware Graph
- partitionAwareHsdf - Variable in class designflow.DesignFlowSolution
-
Partition Aware Graph HSDF
- partitionAwareHsdf - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Equivalent HSDF of partition aware graph
- partitionAwareHsdf - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- partitionClusterAllocationPrefix - Static variable in class solver.SmtVariablePrefixes
-
Partition to cluster allocation
- partitionGraphSolutions - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Solutions for partition aware graph
- partitionGraphSolutions - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- PartitionSolverHSDF - Class in solver.distributedMemory.partitioning
-
An HSDF based partition solver for application graph.
- PartitionSolverHSDF(Graph, Graph, Solutions, Platform, String) - Constructor for class solver.distributedMemory.partitioning.PartitionSolverHSDF
-
Initialize a partition solver object
- PartitionSolverSDF - Class in solver.distributedMemory.partitioning
-
An SDF based partition solver for application graph.
- PartitionSolverSDF(Graph, Graph, Solutions, Platform, String) - Constructor for class solver.distributedMemory.partitioning.PartitionSolverSDF
-
Build a partition solver object
- pathToStart(Actor, Solutions.Data) - Static method in class spdfcore.stanalys.InconsistencyProof
-
- performApplicationPartitioningThreeDim() - Method in class designflow.NonPipelinedScheduling
-
Perform the partitioning step of the design flow.
- performApplicationPartitioningThreeDim() - Method in class designflow.PipelinedScheduling
-
Perform the partitioning step of the design flow.
- performApplicationPlacement() - Method in class designflow.NonPipelinedScheduling
-
Perform the placement step of the design flow.
- performApplicationPlacement() - Method in class designflow.PipelinedScheduling
-
Perform the placement step of the design flow.
- performApplicationScheduling() - Method in class designflow.NonPipelinedScheduling
-
Perform the scheduling step of the design flow.
- performApplicationScheduling() - Method in class designflow.PipelinedScheduling
-
Perform the scheduling step of the design flow.
- performQuery(Point) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Perform a SMT query.
- period - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
-
- period - Variable in class spdfcore.Modifier
-
- periodActors - Variable in class spdfcore.stanalys.ParamComm
-
lookup from modified parameter to period actors
(eventually, there should be only one period actor per modified parameter)
- periodConstraint - Variable in class input.CommandLineArgs
-
A constraint on Period
- PeriodConstraints - Interface in exploration.interfaces.oneDim
-
Period of the graph used for exploration.
- periodConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Generate bounds on start and end times with respect to the period.
- periodDecl - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- periodDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT variable for calculating period of the schedule.
- periodDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
SMT variable for Period calculation of the schedule
- PeriodParams - Class in exploration.parameters.oneDimension
-
Exploration Parameters for one-dimensional Period exploration.
- PeriodParams(Graph, Solutions) - Constructor for class exploration.parameters.oneDimension.PeriodParams
-
Initialize exploration parameters object.
- periodPrefix - Static variable in class solver.SmtVariablePrefixes
-
Period of the schedule.
- PeriodProcConstraints - Interface in exploration.interfaces.twoDim
-
Interface to be implemented for 2-dim exploration of
Period and Number of processors used
- PeriodProcExploration - Class in experiments.sharedMemory.twoDimension
-
Perform Period vs Processors exploration for a shared memory architecture.
- PeriodProcExploration() - Constructor for class experiments.sharedMemory.twoDimension.PeriodProcExploration
-
- PeriodProcParams - Class in exploration.parameters.twoDimension
-
Period and Number of processors used exploration Parameters.
- PeriodProcParams(Graph, Solutions) - Constructor for class exploration.parameters.twoDimension.PeriodProcParams
-
- PeriodProcUnfolding - Class in exploration.parameters.twoDimension
-
Period and Number of processors used exploration Parameters.
- PeriodProcUnfolding(Graph, Solutions) - Constructor for class exploration.parameters.twoDimension.PeriodProcUnfolding
-
Initialize exploration parameters object.
- periodSymmetry - Variable in class input.CommandLineArgs
-
Test Period Symmetry
- periodSymmetry - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Enable Period symmetry
- periodSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.PeriodSymmetry
-
Generate SMT constraints for period symmetry.
- periodSymVarDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT period symmetry variables
- PeriodUnfoldingParams - Class in exploration.parameters.oneDimension
-
Exploration Parameters for one-dimensional Period exploration using Unfolding solver.
- PeriodUnfoldingParams(Graph, Solutions) - Constructor for class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
Initialize exploration parameters object.
- perQuerytimeOutInSeconds - Variable in class exploration.Explorer
-
Time out in Seconds for each query.
- pi - Variable in class graphanalysis.GraphFindCycles
-
- pickRandomColor() - Method in class output.GanttChart
-
Pick up a random color from the color book we have.
- PipelinedScheduleXml - Class in platform.kalray.scheduleXML
-
Generate a pipelined schedule XMl file to execute on the platform.
- PipelinedScheduleXml() - Constructor for class platform.kalray.scheduleXML.PipelinedScheduleXml
-
- PipelinedScheduleXml - Class in platform.tilera.scheduleXML
-
Generate a pipelined schedule XMl file to execute on the platform.
- PipelinedScheduleXml() - Constructor for class platform.tilera.scheduleXML.PipelinedScheduleXml
-
- PipelinedScheduling - Class in designflow
-
Pipelined scheduling using Design Flow.
- PipelinedScheduling(Graph, Platform, CommandLineArgs) - Constructor for class designflow.PipelinedScheduling
-
Build a pipelined scheduling object
- platform - package platform
-
package contains classes to build a model from the hardware platform.
- platform - Variable in class designflow.DesignFlowSolution
-
Target Platform model
- platform - Variable in class designflow.NonPipelinedScheduling
-
Target Platform model
- platform - Variable in class designflow.PipelinedScheduling
-
Target Platform model
- Platform - Class in platform.model
-
Represents a Hardware Platform model.
- Platform(String, int, int, int, int, int) - Constructor for class platform.model.Platform
-
Initialize the platform model.
- platform - Variable in class solver.distributedMemory.mapping.MappingCommSolver
-
Platform model
- platform - Variable in class solver.distributedMemory.partitioning.GenericPartitionSolver
-
Target platform
- platform - Variable in class solver.distributedMemory.placement.GenericPlacementSolver
-
Target platform
- platform - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Target platform
- platform - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- platform.kalray - package platform.kalray
-
package contains classes specific to Kalray MPPA 256 hardware platform.
- platform.kalray.scheduleXML - package platform.kalray.scheduleXML
-
package contains classes to generate schedule XML.
- platform.model - package platform.model
-
package contains components to build a platform model.
- platform.tilera - package platform.tilera
-
package contains classes specific to Tilera TILE-64 hardware platform.
- platform.tilera.scheduleXML - package platform.tilera.scheduleXML
-
package contains classes to generate schedule XML.
- PlatformComponentProp - Class in platform.model
-
Common Properties of the platform model components.
- PlatformComponentProp(String, int) - Constructor for class platform.model.PlatformComponentProp
-
Initializes Component properties.
- platformGraphFileName - Variable in class input.CommandLineArgs
-
Platform graph file name
- platformProperties - Variable in class input.ParseHardwarePlatform
-
Scanned platform properties nodes from XML.
- plotChart(Map<String, String>, Graph, String) - Method in class output.GanttChart
-
Plot the Gantt chart
- plotChart(String, int) - Method in class output.GanttChart
-
Plot the Gantt chart.
- plotChart(Map<String, String>, Map<String, Integer>, String, int) - Method in class output.GanttChart
-
Plot the Gantt chart from the model and task durations.
- plotGanntChart(int, String) - Method in class platform.kalray.ParseExecutionLog
-
Plot Gannt chart
- plotIteration(String, int) - Method in class platform.tilera.ParseExecutionLog
-
Plot the gantt chart.
- plus(Point) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- plus(double) - Method in class exploration.paretoExploration.distanceexploration.Point
-
- plus(Point) - Method in class exploration.paretoExploration.gridexploration.Point
-
Add this point with another point and
return new Point object with added co-ordinates.
- plus(double[]) - Method in class exploration.paretoExploration.gridexploration.Point
-
Add this point with another values and
return new Point object with added co-ordinates.
- plus(double) - Method in class exploration.paretoExploration.gridexploration.Point
-
Add each dimension of this point with a value and
return new Point object with added co-ordinates.
- Point - Class in exploration.paretoExploration.distanceexploration
-
- Point(int) - Constructor for class exploration.paretoExploration.distanceexploration.Point
-
- Point(int, double) - Constructor for class exploration.paretoExploration.distanceexploration.Point
-
- Point(Point) - Constructor for class exploration.paretoExploration.distanceexploration.Point
-
- Point(int, double[]) - Constructor for class exploration.paretoExploration.distanceexploration.Point
-
- Point(int[]) - Constructor for class exploration.paretoExploration.distanceexploration.Point
-
- Point - Class in exploration.paretoExploration.gridexploration
-
A point in the multi-dimensional space.
- Point(int) - Constructor for class exploration.paretoExploration.gridexploration.Point
-
Initialize a point object
- Point(int, double) - Constructor for class exploration.paretoExploration.gridexploration.Point
-
Initialize a point object
- Point(Point) - Constructor for class exploration.paretoExploration.gridexploration.Point
-
Initialize a point object same as other point
- Point(int, double[]) - Constructor for class exploration.paretoExploration.gridexploration.Point
-
Initialize a point object
- Point(int[]) - Constructor for class exploration.paretoExploration.gridexploration.Point
-
Initialize a point object
- pointToValue(int, double, int) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Calculate where the point would reside in the design space.
- popContext(int) - Method in interface exploration.interfaces.SolverFunctions
-
Get back the context for next query.
- popContext(int) - Method in class solver.Z3Solver
-
- popSolverContext(int) - Method in class exploration.ExplorationParameters
-
Retrieve back the solver context to add new const constraints.
- popSolverContext(int) - Method in class exploration.parameters.oneDimension.CommCostParams
-
- popSolverContext(int) - Method in class exploration.parameters.oneDimension.LatencyParams
-
- popSolverContext(int) - Method in class exploration.parameters.oneDimension.PeriodParams
-
- popSolverContext(int) - Method in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
- popSolverContext(int) - Method in class exploration.parameters.threeDimension.LatProcBuffParams
-
- popSolverContext(int) - Method in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
- popSolverContext(int) - Method in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
- popSolverContext(int) - Method in class exploration.parameters.twoDimension.LatBuffParams
-
- popSolverContext(int) - Method in class exploration.parameters.twoDimension.LatProcParams
-
- popSolverContext(int) - Method in class exploration.parameters.twoDimension.PeriodProcParams
-
- popSolverContext(int) - Method in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
- popSolverContext(int) - Method in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
- port - Variable in class spdfcore.Channel.Link
-
- Port - Class in spdfcore
-
Port of an actor type ("filter" MIND object)
We reserve the term 'port' for class of links
sharing the same name, rate and function within the given actor type.
- Port(Port) - Constructor for class spdfcore.Port
-
Create a copy of a given port
- Port(Port.DIR) - Constructor for class spdfcore.Port
-
Construct a port in the given direction w.r.t.
- Port(Port.DIR, String, String, String) - Constructor for class spdfcore.Port
-
Initialize a port
- Port.DIR - Enum in spdfcore
-
One of the two possible port directions w.r.to the actor:
IN or OUT
- Port.DIR(int) - Constructor for enum spdfcore.Port.DIR
-
- portCount - Variable in class graphanalysis.scheduling.Apgan
-
Internal variables to generate names of new actors / channels.
- portCount - Variable in class underDevelopment.QuasiStaticScheduling
-
- portId - Variable in class spdfcore.PortRef
-
Port information
- portRates - Variable in class spdfcore.stanalys.GraphExpressions
-
- PortRef - Class in spdfcore
-
Port reference is used to bind channel,
port and actor together.
- PortRef() - Constructor for class spdfcore.PortRef
-
- ports - Variable in class spdfcore.Graph
-
Ports of the graph mapped by their ID
- predecessors - Variable in class graphanalysis.BellmanFord
-
Predecessor of an actor.
- predecessors - Variable in class graphanalysis.scheduling.ListScheduling
-
List of predecessors of an actor
- predecessors - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
- predecessors - Variable in class spdfcore.stanalys.Solutions.Data
-
- predKVarPrefix - Static variable in class solver.SmtVariablePrefixes
-
K predicted variable.
- previousState - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
-
- prevSolutions - Variable in class graphanalysis.scheduling.Apgan
-
Solutions at previous step of the the algorithm
- primeCount - Variable in class graphanalysis.scheduling.Schedule
-
- primeDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT prime variables mapped with name
- PrimeDivisorSet - Class in spdfcore.stanalys
-
- PrimeDivisorSet() - Constructor for class spdfcore.stanalys.PrimeDivisorSet
-
- printConfig() - Method in class input.CommandLineArgs
-
Print current state of all the arguments
- printContext() - Method in class solver.Z3Solver
-
Print the current context of variables and assertions.
- printHelp() - Method in class input.CommandLineArgs
-
Print help for arguments
- printHsdf - Variable in class input.CommandLineArgs
-
Generate HSDF graph
- printLimitInfo() - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
-
Prints the upper, lower bounds and exploration granularity.
- printNameInGraph - Variable in class output.GanttChart.Record
-
Print name of the task in the Gantt chart
- printSolutions(Actor) - Method in class graphanalysis.BellmanFord
-
Print final solutions.
- priority(Object) - Static method in class graphanalysis.scheduling.Schedule
-
- proc - Variable in class input.ParseHardwarePlatform.MemoryInfo
-
- proc - Variable in class platform.model.Memory
-
Processors which can access this memory.
- processClusterNode(Node) - Method in class input.ParseHardwarePlatform
-
Process the Cluster node of XML file.
- processDmaNode(Node) - Method in class input.ParseHardwarePlatform
-
Process DMA node of XML file.
- processedArgs - Variable in class designflow.NonPipelinedScheduling
-
Command line arguments
- processedArgs - Variable in class designflow.PipelinedScheduling
-
Command line arguments
- processLinkNode(Node) - Method in class input.ParseHardwarePlatform
-
Process Network Link node of XML file.
- processMemoryNode(Node) - Method in class input.ParseHardwarePlatform
-
Process Memory node of XML file.
- Processor - Class in platform.model
-
Represents a processor in the platform.
- Processor(String, int, int, int, int, Cluster) - Constructor for class platform.model.Processor
-
Initialize the processor component of the platform model.
- processorActorInstanceIdMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of actor instances mapped to a processor
- processorActorMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of actors mapped to a processor
- processorActorStartTimeMap - Variable in class designflow.DesignFlowSolution.Schedule
-
List of start times of actor instances mapped to a processor
- processorConstraint - Variable in class input.CommandLineArgs
-
Number of processors to be used
- ProcessorConstraints - Interface in exploration.interfaces.oneDim
-
An upper bound on number of processors to be used in a schedule.
- processorIndex - Variable in class output.GanttChart.Record
-
Index of the processor
- processorName - Variable in class output.GanttChart.Record
-
Name of the processor
- processorNames - Variable in class output.GanttChart
-
Name of each processor
- processorOverlapSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Generate constraint to decide an order processor allocation for the tasks.
- processors - Variable in class input.ParseHardwarePlatform
-
Scanned processor nodes from XML.
- processors - Variable in class output.GanttChart
-
Position of processor in the Gantt chart
- processors - Variable in class platform.model.Cluster
-
Processors of the cluster.
- processors - Variable in class platform.model.Platform
-
All the processors of the platform.
- processorSymmetry - Variable in class input.CommandLineArgs
-
Add processor symmetry constraints
- processorSymmetry - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Enable Processor Symmetry
- processorSymmetry - Variable in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- processorSymmetry - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Enable processor symmetry constraints
- processorSymmetry - Variable in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Enable processor symmetry
- processorSymmetry - Variable in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Processor symmetry
- processorSymmetryConstraints() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate all the processor symmetry constraints
- processorSymmetryConstraints() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- processorSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Generate processor symmetry constraints
- processorSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
-
Generate constraints for processor symmetry
- processorSymmetryConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Generate processor symmetry constraints
- processorTime - Variable in class graphanalysis.scheduling.ListScheduling
-
Latest time available on processors
- processPlatformProperties(Node) - Method in class input.ParseHardwarePlatform
-
Scan platform properties node
- processProcessorNode(Node) - Method in class input.ParseHardwarePlatform
-
Process the Processor node of XML file.
- procId - Variable in class platform.kalray.ParseExecutionLog.LogRecord
-
- procIdLocation - Variable in class platform.kalray.ParseExecutionLog
-
Position where the processor id is located in the log file String.
- procSchedIndexLocation - Variable in class platform.kalray.ParseExecutionLog
-
Position where the index in the processor schedule is located in the log file String.
- procSymInCluster(HashSet<String>, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Generate constraints for processor symmetry for the processors in the cluster.
- procSymInCluster(HashSet<String>, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- procUtilAtPeriodStart - Static variable in class solver.SmtVariablePrefixes
-
Processor utilization at the start of the period.
- procUtilAtPeriodStartId - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
SMT variable for calculating processor utilization at the start
of the period.
- procUtilId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable to calculate processor utilization at this actor instance
Required for left-edge algorithm
- procUtilPrefix - Static variable in class solver.SmtVariablePrefixes
-
Processor utilization for Left edge constraints.
- prodRateId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for a production rate on a channel.
- productionRatePrefix - Static variable in class solver.SmtVariablePrefixes
-
Rate of producing tokens on a channel for an actor.
- profileXmlFileName - Variable in class input.CommandLineArgs
-
Profile XML file name
- propSat(Knee, Point) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- propUnSat(Knee, Point) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- pushContext() - Method in interface exploration.interfaces.SolverFunctions
-
Save the context.
- pushContext() - Method in class solver.Z3Solver
-
- pushedContext - Variable in class solver.Z3Solver
-
Context pushed on the stack?
Next thing to do will be a pop.
- pushSolverContext() - Method in class exploration.ExplorationParameters
-
Save the Solver Context to save it before we add the cost constraints.
- pushSolverContext() - Method in class exploration.parameters.oneDimension.CommCostParams
-
- pushSolverContext() - Method in class exploration.parameters.oneDimension.LatencyParams
-
- pushSolverContext() - Method in class exploration.parameters.oneDimension.PeriodParams
-
- pushSolverContext() - Method in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
- pushSolverContext() - Method in class exploration.parameters.threeDimension.LatProcBuffParams
-
- pushSolverContext() - Method in class exploration.parameters.threeDimension.MaxwrkloadCommClusterParams
-
- pushSolverContext() - Method in class exploration.parameters.threeDimension.WrkldImbalCommClusterParams
-
- pushSolverContext() - Method in class exploration.parameters.twoDimension.LatBuffParams
-
- pushSolverContext() - Method in class exploration.parameters.twoDimension.LatProcParams
-
- pushSolverContext() - Method in class exploration.parameters.twoDimension.PeriodProcParams
-
- pushSolverContext() - Method in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
- pushSolverContext() - Method in class exploration.parameters.twoDimension.WrkLoadCommCostParams
-
- put(LeftEdgeModelToSchedule.Proc, int) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.OccupancyVector
-
- putMapping(LeftEdgeModelToSchedule.IterTask, LeftEdgeModelToSchedule.Proc) - Method in class graphanalysis.scheduling.LeftEdgeModelToSchedule.UnfoldModel
-