public interface CommunicationCostConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateCommunicationCostConstraint(int communicationCost)
Sets the Communication cost constraint for the exploration query
|
int |
getCommunicationCost(java.util.Map<java.lang.String,java.lang.String> model)
Get the communication cost calculated in the model.
|
checkSat, getModel, popContext, pushContext
void generateCommunicationCostConstraint(int communicationCost)
communicationCost
- int getCommunicationCost(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.