public interface WorkloadImbalanceConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateWorkImbalanceConstraint(int constraintValue)
Set an upper bound on max workload imbalance between the clusters.
|
int |
getWorkLoadImbalance(java.util.Map<java.lang.String,java.lang.String> model) |
checkSat, getModel, popContext, pushContext
void generateWorkImbalanceConstraint(int constraintValue)
constraintValue
- Set upper bound on max workload imbalance.int getWorkLoadImbalance(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.