private class MutExPipelinedScheduling.OmegaAnalysis
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
MutExPipelinedScheduling.OmegaAnalysis() |
Modifier and Type | Method and Description |
---|---|
void |
capPeriodCalculation()
Generate SMT constraints for capX variables based on period.
|
void |
capPredCalculations()
Generate SMT constraints to calculate the values of capX, capPred variables.
|
void |
capPrimeCalculation()
Generate SMT constraints for calculating xPrime variables
depending on capX variables.
|
void |
capVariableCalculation()
Generate SMT constraints for calculating capX and capY variables depending on
xPrime and yPrime of the tasks.
|
void |
defineCapVariables()
Generate SMT CAP variables for all the tasks.
|
void |
xPrimeBounds()
Generate SMT constraints for Lower and upper bounds on xPrime variables
|
private MutExPipelinedScheduling.OmegaAnalysis()
public void defineCapVariables()
public void capPredCalculations()
public void capVariableCalculation()
public void capPrimeCalculation()
public void xPrimeBounds()
public void capPeriodCalculation()