private class MutExPipelinedScheduling.PeriodSymmetry
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
MutExPipelinedScheduling.PeriodSymmetry() |
Modifier and Type | Method and Description |
---|---|
void |
definePeriodSymVariables()
Define all the variables that are needed to define the period symmetry constraints.
|
void |
periodSymmetryConstraints()
Generate SMT constraints for period symmetry.
|