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