- xDistanceId(int, int) - Method in class solver.distributedMemory.placement.GenericPlacementSolver
-
Get SMT variable for distance in x-dimension between two groups
- xDistancePrefix - Static variable in class solver.SmtVariablePrefixes
-
Distance between clusters in x-dimension.
- xId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for start time of an instance of an actor.
- xId(String) - Method in class solver.distributedMemory.scheduling.ClusterMutExclNonPipelined
-
Get SMT variable for start time of an actor instance
- xId(String, int) - Method in class solver.distributedMemory.scheduling.ClusterMutExclPipelined
-
- xId(String) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for start time of a task.
- xId(String, int) - Method in class solver.sharedMemory.combinedSolver.MutualExclusionSolver
-
Get SMT variable for start time of an actor instance.
- xId(String) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for start time of a task.
- xId(String, int) - Method in class solver.sharedMemory.combinedSolver.pipelined.UnfoldingScheduling
-
Get SMT variable for start time of an actor instance.
- xPrimeBounds() - Method in class solver.sharedMemory.combinedSolver.pipelined.MutExPipelinedScheduling.OmegaAnalysis
-
Generate SMT constraints for Lower and upper bounds on xPrime variables