From: Partitioning of web applications for hybrid cloud deployment
Function | genChoice(joinSet, {op1… opn}) |
---|---|
Generated constraint | op1+ … + opn = joinSet |
Description | ajoinSet is produced by one and only one of the operators op1… opn |
Function | genInputConstraint(op, {inleft, inright}) |
Generated constraint | −2 × op + inleft + inright ≥ 0 |
Description | If op is 1, then variables representing its left and right inputs (inleft and inright) must both be 1 |