public interface ProcessorConstraints
Modifier and Type | Method and Description |
---|---|
void |
generateProcessorConstraint(int processors)
Set an upper bound on number of processors to be used in the schedule.
|
int |
getProcessors(java.util.Map<java.lang.String,java.lang.String> model)
Get the number of processors used in the schedule represented in the model.
|
int getProcessors(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generateProcessorConstraint(int processors)
processors
- number of processors to be used as a constraint.