- obj - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.Task
-
- occupancy - Variable in class graphanalysis.scheduling.LeftEdgeModelToSchedule.OccupancyVector
-
- omegaAnalysis - Variable in class input.CommandLineArgs
-
Perform omega Analysis
- omegaAnalysis - Variable in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Enable pipeline scheduling using omega.
- omegacount - Variable in class graphanalysis.scheduling.Apgan
-
Internal variables to generate names of new actors / channels.
- omegaMax - Variable in class exploration.parameters.oneDimension.PeriodUnfoldingParams
-
An unfolding factor omega.
- omegaMax - Variable in class exploration.parameters.twoDimension.PeriodProcUnfolding
-
An unfolding factor omega.
- omegaUnfoldingConstraint() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling
-
Generate a constraint on Latency depending on Omega_max value.
- omegaUnfoldingConstraint() - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Upper bound on the latency based on Omega_max
- openFiles() - Method in class exploration.Explorer
-
Open log files for writing.
- optimizeSchedule - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Schedule optimizer for improving latency, number of processors
used.
- optiSolver - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined.OptimizeSchedule
-
Latency and Processor usage optimizer
- orderedMeet(Point[]) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- orderedSet(Point[]) - Method in class exploration.paretoExploration.distanceexploration.DistanceBasedExploration
-
- out2inRatio - Variable in class spdfcore.stanalys.InconsistencyProof
-
- output - package output
-
package contains tools to generate output like application graph XML,
Gantt charts or Dot graphs in order to visualize the data.
- outputActor - Variable in class graphanalysis.throughput.Throughput.TransitionSystem
-
- outputDir - Variable in class exploration.Explorer
-
Output directory to generate the log files.
- outputDirectory - Variable in class input.CommandLineArgs
-
Output Directory
- outputDirectory - Variable in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
output directory to generate different files
- outputToFile(FileWriter, String) - Method in class exploration.Explorer
-
Write message to the log file.
- outputXmlFileName - Variable in class input.CommandLineArgs
-
Output XML file name
- overlappingActorList - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
List of overlapping actors
- overlappingActorWithGraphSymList - Variable in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-