protected abstract class MutualExclusionSolver.LeftEdge
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
MutualExclusionSolver.LeftEdge() |
Modifier and Type | Method and Description |
---|---|
protected void |
generateLeftEdgeCpuDefinitions(boolean pipelined)
Generate the SMT variable definitions required to calculate the
processor utilization.
|
protected void |
leftEdgeMaxProcUtilization()
Generate constraints for calculating processor utilization
|
protected void leftEdgeMaxProcUtilization()
protected void generateLeftEdgeCpuDefinitions(boolean pipelined)
pipelined
- if pipelined scheduling (true) or non-pipelined (false)