util
Classes
|
Stores a forest representing the hierarchy between GDP components on a model: for single-level GDPs, each tree is rooted at a Disjunction and each of the Disjuncts in the Disjunction is a leaf. |
|
Functions
|
Checks if there are any active Disjuncts or Disjunctions reachable via active Blocks. |
|
A function that is used to clone an expression. |
|
|
|
Return the original Constraint whose transformed counterpart is transformedConstraint |
|
Return the Disjunct object whose transformed components are on transBlock. |
|
Return the Disjunction corresponding to xor_constraint |
|
Return the transformed version of srcConstraint |
|
|
|
|
|