public interface ClusterConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateClusterConstraint(int numClusters)
Set total number of clusters used as a constraint.
|
int |
getTotalClustersUsed(java.util.Map<java.lang.String,java.lang.String> model)
Get total number of clusters used from the model.
|
checkSat, getModel, popContext, pushContext
int getTotalClustersUsed(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generateClusterConstraint(int numClusters)
numClusters
- number of clusters to be used