]>
Commit | Line | Data |
---|---|---|
d1eb43aa | 1 | |
2 | extern constraintList reflectChanges (constraintList pre2, constraintList post1); | |
3 | extern constraint substitute (constraint c, constraintList p); | |
84c9ffbf | 4 | //extern constraint constraint_searchandreplace (constraint c, constraintExpr old, constraintExpr new); |
d1eb43aa | 5 | extern bool rangeCheck (arithType ar1, constraintExpr expr1, arithType ar2, constraintExpr expr2); |
6 | extern bool satifies (constraint pre, constraint post); | |
7 | ||
84c9ffbf | 8 | extern bool resolve ( /*@observer@*/ constraint c, /*@observer@*/ constraintList p); |
d1eb43aa | 9 | extern constraintList reflectChangesEnsures (constraintList pre2, constraintList post1); |
10 | extern constraint constraint_simplify (constraint c); | |
11 | ||
12 | extern constraintList constraintList_fixConflicts (constraintList list1, constraintList list2); | |
13 | ||
14 | extern constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2); | |
15 | ||
16 | extern constraintList constraintList_mergeEnsures (constraintList list1, constraintList list2); | |
17 | ||
18 | bool constraint_isAlwaysTrue (constraint c); | |
470b7798 | 19 | constraintList constraintList_mergeRequires (constraintList list1, constraintList list2); |
90bc41f7 | 20 | constraintList reflectChangesOr (constraintList pre2, constraintList post1); |
84c9ffbf | 21 | |
22 | constraintList constraintList_substitute (constraintList target, constraintList subList); |