实用工具
Classes
|
在模型上存储表示GDP组件之间层次结构的森林:对于单级GDP,每棵树都以一个Disjunction为根,并且Disjunction中的每个Disjunct都是一个叶子。 |
|
Functions
|
检查是否存在通过活动块可到达的任何活动的Disjuncts或Disjunctions。 |
|
用于克隆表达式的函数。 |
|
|
|
返回其转换后的对应项为transformedConstraint的原始Constraint |
|
返回其转换后的组件位于transBlock上的Disjunct对象。 |
|
返回与xor_constraint对应的Disjunction |
|
返回srcConstraint的转换版本 |
|
|
|
|
|