private class MutExPipelinedScheduling.TypeConstraints
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
MutExPipelinedScheduling.TypeConstraints() |
Modifier and Type | Method and Description |
---|---|
void |
afterVariableCalculation()
Generate SMT constraints for calculating values of after variables.
|
void |
defineTypeVariables()
Define Type variables for all the tasks
|
void |
generateTypeIConstraints(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
Generate Type I mutual exclusion constraints.
|
void |
generateTypeII_1Constraint(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
For Type II tasks there are two different constraints needed.
|
void |
generateTypeII_2Constraint(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
For Type II tasks there are two different constraints needed.
|
void |
typeMutexConstraints()
Generate SMT constraints for type variables
|
private MutExPipelinedScheduling.TypeConstraints()
public void typeMutexConstraints()
public void afterVariableCalculation()
public void generateTypeII_1Constraint(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
solutionSet
- solution set containing actor name with its repetition count as keypublic void generateTypeII_2Constraint(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
solutionSet
- solution set containing actor name with its repetition count as keypublic void generateTypeIConstraints(java.util.Map<java.lang.String,java.lang.Integer> solutionSet)
solutionSet
- solutionSet solution set containing actor name with its repetition count as keypublic void defineTypeVariables()