public interface MaxWorkLoadPerCluster extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateMaxWorkloadPerClusterConstraint(int constraintValue)
Set the maximum workload per cluster constraint for exploration query.
|
int |
getMaxWorkLoadPerCluster(java.util.Map<java.lang.String,java.lang.String> model)
Get maximum workload per cluster from the solver model.
|
checkSat, getModel, popContext, pushContext
int getMaxWorkLoadPerCluster(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generateMaxWorkloadPerClusterConstraint(int constraintValue)
constraintValue
- upper bound on max workload allocated to the cluster.