private class MutExPipelinedScheduling.LeftEdgePipelined extends MutualExclusionSolver.LeftEdge
Modifier | Constructor and Description |
---|---|
private |
MutExPipelinedScheduling.LeftEdgePipelined() |
Modifier and Type | Method and Description |
---|---|
private void |
generateLeftEdgePipelinedConstraints()
Generate all the constraints required for left-edge scheduling
for pipelined mode.
|
void |
leftEdgeDefinitions()
Generate SMT variable definitions for left-edge pipelined scheduling.
|
generateLeftEdgeCpuDefinitions, leftEdgeMaxProcUtilization
private MutExPipelinedScheduling.LeftEdgePipelined()
public void leftEdgeDefinitions()
private void generateLeftEdgePipelinedConstraints()