]>
Commit | Line | Data |
---|---|---|
1 | ||
2 | extern /*@only@*/ constraintList constraintList_reflectChanges(/*@observer@*/ /*@temp@*/ constraintList p_pre2, /*@observer@*/ /*@temp@*/ constraintList p_post1); | |
3 | ||
4 | ||
5 | /* tries to resolve constraints in List p_pre2 using post1 */ | |
6 | /*@only@*/ extern constraintList constraintList_reflectChangesFreePre (/*@only@*/ constraintList p_pre2, /*@observer@*/ /*@temp@*/ constraintList p_post1); | |
7 | ||
8 | extern /*@only@*/ constraint constraint_substitute (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p); | |
9 | ||
10 | /* extern constraint constraint_searchandreplace (constraint p_c, constraintExpr old, constraintExpr new); */ | |
11 | ||
12 | extern bool constraintList_resolve (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p); | |
13 | ||
14 | extern constraint constraint_simplify ( /*@returned@*/ constraint p_c); | |
15 | ||
16 | extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList p_list1, constraintList p_list2); | |
17 | ||
18 | extern constraintList constraintList_subsumeEnsures (constraintList p_list1, constraintList p_list2); | |
19 | ||
20 | extern constraintList constraintList_mergeEnsures (/*observer@*/ /*@temp@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2); | |
21 | ||
22 | /*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2); | |
23 | ||
24 | ||
25 | bool constraint_isAlwaysTrue (/*@observer@*/ /*@temp@*/ constraint p_c); | |
26 | ||
27 | /*@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ /*@temp@*/ constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2); | |
28 | ||
29 | /*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2); | |
30 | ||
31 | ||
32 | ||
33 | constraintList constraintList_reflectChangesOr (constraintList p_pre2, constraintList p_post1); | |
34 | ||
35 | /*@only@*/ constraintList constraintList_substitute (constraintList p_target, /*2observer@*/ constraintList p_subList); | |
36 | ||
37 | /*@only@*/ constraintList constraintList_substituteFreeTarget (/*@only@*/ constraintList p_target, /*@observer@*/ /*@temp@*/ constraintList p_subList); | |
38 | ||
39 | extern void exprNode_mergeResolve (exprNode p_parent, exprNode p_child1, exprNode p_child2); | |
40 |