public interface WrkLdCommCostConstraints extends WorkloadImbalanceConstraints, CommunicationCostConstraints
generateWorkImbalanceConstraint, getWorkLoadImbalance
generateCommunicationCostConstraint, getCommunicationCost
checkSat, getModel, popContext, pushContext