public interface MaxWrkLdCommCostClusterConstraints extends MaxWorkLoadPerCluster, CommunicationCostConstraints, ClusterConstraints
generateMaxWorkloadPerClusterConstraint, getMaxWorkLoadPerCluster
generateCommunicationCostConstraint, getCommunicationCost
generateClusterConstraint, getTotalClustersUsed
checkSat, getModel, popContext, pushContext