From: Partitioning of web applications for hybrid cloud deployment
Function | genAtMostOneLocation(op) |
---|---|
Generated constraint | op cloud  + op premise  = op |
Description | If the variable representing op is 1, then either the variable representing it being placed in the cloud is 1 or the variable representing it being place in the premise is 1 |
Function | genSeparated(op 1 , op 2 ) |
Generated constraint | op 1, cloud  + op 2, premise - cut op1, op2  ≤ 1 |
op 1, premise  + op 2, cloud - cut op1, op2  ≤ 1 | |
Description | If the variables representing the locations of two operators are different, then the variable cut op1, op2 is 1 |