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 

A

actClk - Variable in class graphanalysis.throughput.Throughput.TransitionSystem.State
 
Actor - Class in spdfcore
Models an instance of an actor (a 'filter') - a node of SPDF graph.
Actor(Actor) - Constructor for class spdfcore.Actor
Create a copy of other actor.
Actor() - Constructor for class spdfcore.Actor
Initialize actor to data flow actor by default.
Actor(String, String, int, Actor.ActorType) - Constructor for class spdfcore.Actor
Initialize an actor
actor - Variable in class spdfcore.Channel.Link
 
Actor.ActorType - Enum in spdfcore
If an actor is dataflow actor or inserted communication actor.
Actor.ActorType() - Constructor for enum spdfcore.Actor.ActorType
 
actorClusterAllocationPrefix - Static variable in class solver.SmtVariablePrefixes
Actor allocated to a cluster
actorExecStartTime - Variable in class platform.kalray.ParseExecutionLog.LogRecord
 
actorId - Variable in class spdfcore.PortRef
Actor to which the port belonge to
actorInstances - Variable in class platform.kalray.ParseExecutionLog
 
actorInstances - Variable in class spdfcore.Graph
 
actorLocation - Variable in class platform.kalray.ParseExecutionLog
Position where the actor name is located in the log file String.
actorMap - Variable in class underDevelopment.QuasiStaticScheduling
 
actorName - Variable in class output.GanttChart.Record
Name of the actor
actorName - Variable in class platform.kalray.ParseExecutionLog.LogRecord
 
actorPrecedenceConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Generate precedence constraints for the tasks
actorPrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate all the actor precedence constraints.
actorPrecedences() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
actorPrecedences() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate constraints for task precedences
actorReadyToEnd(Actor) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
actorReadyToFire(Actor) - Method in class graphanalysis.throughput.Throughput.TransitionSystem
 
actors - Variable in class spdfcore.Graph
Actors of the graph mapped by names
actorsInGroup(int) - Method in class designflow.DesignFlowSolution.Partition
Get a list of actors allocated to a group.
actorsRestrictedToCluster - Variable in class solver.distributedMemory.constraints.SchedulingConstraints
Actor name as key with cluster as value where it should be allocated.
actorsRestrictedToDmaOfCluster - Variable in class solver.distributedMemory.constraints.SchedulingConstraints
Actor name as key with DMA of a cluster as value where it should be allocated.
actorType - Variable in class spdfcore.Actor
Type of an actor
add(Actor) - Method in class spdfcore.Graph
Add an actor to the graph
add(Port) - Method in class spdfcore.Graph
Add a new port to the graph.
add(Channel) - Method in class spdfcore.Graph
Add a new channel to the graph.
add(Modifier) - Method in class spdfcore.Graph
Add a modifier to this graph
add(Expression, Expression) - Static method in class spdfcore.stanalys.Expression
Add two expressions
addActor(String, int, DmaEngine, int) - Method in class designflow.DesignFlowSolution.Schedule
Add an actor instance to DMA engine.
addActor(String, int, Processor, int) - Method in class designflow.DesignFlowSolution.Schedule
Add an actor instance to Processor.
addActorClusterConstraint(String, Cluster) - Method in class solver.distributedMemory.constraints.SchedulingConstraints
Add a constraint of actor mapped to a specific cluster.
addActorDmaEngineConstraint(String, Cluster) - Method in class solver.distributedMemory.constraints.SchedulingConstraints
Add a constraint of actor mapped to a DMA of specific cluster.
addActorElements(Graph, Solutions, DesignFlowSolution, Document, Element) - Method in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Add Actor elements in the XML file.
addActorElements(Graph, Solutions, Document, Element) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add Actor elements in the XML file.
addActorElements(Graph, Solutions, Document, Element, Map<String, String>) - Method in class platform.tilera.scheduleXML.NonPipelinedScheduleXml
Add Actor elements in the XML file.
addActorElements(Graph, Solutions, Document, Element) - Method in class platform.tilera.scheduleXML.PipelinedScheduleXml
Add Actor elements in the XML file.
addBufferSize(String, int) - Method in class designflow.DesignFlowSolution.Schedule
Add a buffer size of a channel to the schedule.
addChannelElements(Graph, Solutions, DesignFlowSolution, Document, Element) - Method in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Add Channel elements in the XML file.
addChannelElements(Graph, Solutions, Document, Element, Map<String, String>) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add Channel elements in the XML file.
addChannelElements(Graph, Solutions, Document, Element, Map<String, String>) - Method in class platform.tilera.scheduleXML.NonPipelinedScheduleXml
Add Channel elements in the XML file.
addChannelElements(Graph, Solutions, Document, Element, Map<String, String>) - Method in class platform.tilera.scheduleXML.PipelinedScheduleXml
Add Channel elements in the XML file.
addCluster(Cluster) - Method in class platform.model.Memory
Add the cluster which can access this memory.
addCluster(Cluster) - Method in class platform.model.Platform
Add a cluster component to the platform.
addDescendant(int, Knee) - Method in class exploration.paretoExploration.distanceexploration.Knee
 
addDma(DmaEngine) - Method in class platform.model.Cluster
Adds DMA Engine to the cluster at available index.
addDmaEngine(DmaEngine) - Method in class platform.model.Platform
Add a DMA Engine to the platform.
addDmaScheduleElement(Graph, Solutions, DesignFlowSolution, Platform, Document, Element) - Method in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Add DMA information elements in the XML file.
addFifoBlockingActors - Variable in class platform.kalray.ParseExecutionLog
Add plain blocks to the task execution where it starts and end FIFO writing.
addFifoElement(Graph, Solutions, DesignFlowSolution, Platform, Document, Element) - Method in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Add FIFO elements in the XML file.
addFifoElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add FIFO elements in the XML file.
addGroupToCluster(Cluster, int) - Method in class designflow.DesignFlowSolution.Mapping
Assign a groupe to a cluster.
addLegendInGraph - Variable in class output.GanttChart
Add legend in the Gantt chart
addLink(NetworkLink, int) - Method in class platform.model.Cluster
Adds network link to a given port.
addLink(NetworkLink) - Method in class platform.model.Platform
Add a network link to the platform.
addLink(NetworkLink, int) - Method in class platform.model.Processor
Adds network link at the port of the processor
addMemory(Memory) - Method in class platform.model.Cluster
Adds Memory to the cluster at available index.
addMemory(Memory) - Method in class platform.model.Platform
Add memory component to the platform.
addMemory(Memory) - Method in class platform.model.Processor
Adds a memory component to the processor at next available index.
addNamesToActorInGraph - Variable in class output.GanttChart
Add name to the Gantt chart
addPostScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add Post schedule element to the XML file.
addPostScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.tilera.scheduleXML.PipelinedScheduleXml
Add Post schedule element to the XML file.
addPreScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add pre-schedule element to XML file.
addPreScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.tilera.scheduleXML.PipelinedScheduleXml
Add pre-schedule element to XML file.
addProcessor(Processor) - Method in class platform.model.Cluster
Adds Processor to the cluster at available index.
addProcessor(Processor) - Method in class platform.model.Memory
Add the processor which can access this memory.
addProcessor(Processor) - Method in class platform.model.Platform
Add a processor component to the platform.
addRecord(GanttChart.Record) - Method in class output.GanttChart
Add a record to the list.
addSatPointToList(Point) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
 
addSatToList(Point) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Add SAT point to the list.
addScheduleElement(Graph, Solutions, DesignFlowSolution, Document, Element) - Method in class platform.kalray.scheduleXML.NonPipelinedScheduleXml
Add Schedule information elements in the XML file.
addScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.kalray.scheduleXML.PipelinedScheduleXml
Add schedule element to the XML file.
addScheduleElement(Graph, Solutions, Document, Element, Map<String, String>) - Method in class platform.tilera.scheduleXML.NonPipelinedScheduleXml
Add Schedule information elements in the XML file.
addScheduleElement(Graph, Solutions, Map<String, String>, Document, Element) - Method in class platform.tilera.scheduleXML.PipelinedScheduleXml
Add schedule element to the XML file.
addSdfActorToGroup(int, String) - Method in class designflow.DesignFlowSolution.Partition
Add SDF actor to a group.
addTerminateActor() - Method in class underDevelopment.QuasiStaticScheduling
 
addUnsatGen(int, Point) - Method in class exploration.paretoExploration.distanceexploration.Knee
 
addUnsatToList(Point) - Method in class exploration.paretoExploration.gridexploration.GridBasedExploration
Add UNSAT point to the list.
addUser(HashSet<String>, Actor) - Method in class spdfcore.stanalys.ParamComm
register an actor as user of the given set of parameters
addVariableDeclaration(String, String) - Method in class solver.Z3Solver
Declare a variable in Z3 context.
afterVarDecl - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
SMT variables for Left-edge scheduling to decide the order of task execution.
afterVariableCalculation() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.TypeConstraints
Generate SMT constraints for calculating values of after variables.
afterVariableId(String, int, String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Get SMT boolean variable for order between the actor1 and actor2
afterVarPrefix - Static variable in class solver.SmtVariablePrefixes
Determines the order of the task.
algoSatPointsList - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
SAT points in the exploration.
algoUnsatPointsList - Variable in class exploration.paretoExploration.gridexploration.GridBasedExploration
UNSAT points in the exploration.
allocatedActorList - Variable in class graphanalysis.scheduling.ListScheduling
Tasks already allocated
allProcessorUtilisedConstraints(int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints to make sure at least one task is allocated to a processor.
Apgan - Class in graphanalysis.scheduling
APGAN : Acyclic Pairwise Grouping of Adjacent Nodes algorithm
Apgan() - Constructor for class graphanalysis.scheduling.Apgan
 
applicationGraphFileName - Variable in class input.CommandLineArgs
Application Graph file name
applicationName - Variable in class spdfcore.Graph
 
areActorsImmediatelyConnected(Actor, Actor) - Method in class graphanalysis.properties.GraphAnalysis
Check if two actors are connected with a channel.
assertActorDuration() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate a constraint for actor duration variables
assertActorDuration() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertBuffer(String, String, int, int, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints to calculate the buffer at each index
assertBufferBounds(String, String, int, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for lower and upper bounds on buffer size of a channel.
assertBufferBoundsLinear(String, String, int, int, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate constraints for upper and lower bounds on the buffer size of a channel.
assertBufferBoundsLinear(String, String, int, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for upper and lower bounds on the buffer size at every index and maximum buffer size of a channel.
assertBufferCalculation() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate all the constraints for buffer-size calculation.
assertBufferLinearNonPipelined(String, String, int, int, int, int, int, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Constraint to determine the buffer size at the start of a producer of the channel depending on the start times of other producer and consumer instances.
assertBufferLinearNonPipelined(String, String, int, int, int, int, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Generate calculation for buffer size at execution of a producer instance.
assertBufferLinearNonPipelinedWithDma(String, String, String, int, int, int, int, int, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Assert buffer constraints for channels with DMA at the output.
assertCommunicationMutualExclusion(List<String>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate Mutual Exclusion constraints for the communication actors.
assertCommunicationMutualExclusion(List<Actor>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertCpuBounds() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Define upper and lower bound on the processor variables
assertCpuBounds() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate constraints for lower and upper bounds on the processor allocated to the tasks.
assertDataFlowMutualExclusion(List<String>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate Mutual Exclusion constraints for the dataflow actors.
assertDataFlowMutualExclusion(List<Actor>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertDmaTaskProcBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Lower and upper bounds on DMA engines allocated to communication tasks.
assertDmaTaskProcBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertEndTime() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate a constraint for end time calculation of all the tasks yA_0 = xA_0 + dA
assertEndTime() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertIndexLimits(String, String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for lower and upper bounds on the index allocation
assertIndexOrdering(String, String, String, int, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
The index of producer and consumers of the channel depend on the order of start times.
assertInitialTokens(String, String, int) - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Assert constraint for initial tokens of the channel.
assertMaxBuffer() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate constraints for maximum buffer size per cluster.
assertMaxBuffer(String, String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints to calculate maximum buffer size for a channel.
assertMaxBufferLinear(String, String, int, int, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Calculate maximum buffer size for a given channel
assertMaxBufferLinear(String, String, int, Expr) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints to calculate the maximum size of the buffer.
assertMaxClusterBuffer() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate constraints to calculate maximum buffer used in a cluster
assertMinKmax() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate SMT constraint for calculation of Kmax variable.
assertMinPeriod() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertMinPeriod() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate a constraint for lower bound on the period.
assertMinPeriod() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Lower bound on the period of the schedule
assertMutualExclusion() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate all the mutual exclusion constraints
assertMutualExclusion() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertMutualExclusion() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate mutual exclusion constraints for all the tasks.
assertMutualExclusion() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate mutual exclusion constraints for all the tasks.
assertMutualExclusionWithGraphAnalysis() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Assert mutual exclusion constraints by performing graph analysis to form a list of tasks which can potentially execute in parallel and apply mutual exclusion only on such tasks.
assertNonOverlapPeriodConstraint() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertNonOverlapPeriodConstraint() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
Generate constraints to contain an actor inside a period.
assertNonOverlapPeriodConstraintCommunication(List<Actor>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertNonOverlapPeriodConstraintDataflow(List<Actor>) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertNonPipelineConstraints() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate all the non-pipelined scheduling constraints
assertNonPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for solving non-pipelined scheduling problem.
assertNonPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Generate all the constraints for non-pipelined scheduling
assertNonPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
 
assertPipelineConstraints() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for solving pipelined scheduling problem.
assertPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
 
assertPipelineConstraints() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
Generate all the constraints for pipelined scheduling
assertStartTimeBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Lower and upper bounds on the start times of the actor
assertStartTimeBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertStartTimeBounds() - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints for lower and upper bounds on the start times of tasks
assertTaskCpuBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Lower and upper bound on the processor allocation of the tasks.
assertTaskCpuBounds() - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
 
assertTaskIndexBounds() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MatrixSolver
Define bounds on the index variables for all the tasks
assertTotalBuffer() - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
Generate calculation for total buffer size
assertTotalBuffer() - Method in class solver.sharedMemory.combinedSolver.nonpipelined.MutExNonPipelinedScheduling
Total buffer used in the schedule is sum of all the buffers.
assertUniqueIndex(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
Generate constraints to specify that all the indices are unique.
assignedClusterId(String, int) - Method in class solver.distributedMemory.mapping.MappingCommSolver
Get actor to cluster assignment boolean SMT variable
auto - Variable in class spdfcore.Actor
true for purely analytical actors
auto - Variable in class spdfcore.Channel
 
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