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 

P

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