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 

X

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