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 

O

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