]>
Commit | Line | Data |
---|---|---|
d1eb43aa | 1 | |
28bf4b0b | 2 | extern /*@only@*/ constraintList constraintList_reflectChanges(/*@observer@*/ /*@temp@*/ constraintList p_pre2, /*@observer@*/ /*@temp@*/ constraintList p_post1); |
bb25bea6 | 3 | |
4 | ||
28bf4b0b | 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); | |
bb25bea6 | 7 | |
28bf4b0b | 8 | extern /*@only@*/ constraint constraint_substitute (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p); |
bb25bea6 | 9 | |
28bf4b0b | 10 | //extern constraint constraint_searchandreplace (constraint p_c, constraintExpr old, constraintExpr new); |
bb25bea6 | 11 | |
28bf4b0b | 12 | extern bool constraintList_resolve (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p); |
bb25bea6 | 13 | |
28bf4b0b | 14 | extern constraint constraint_simplify ( /*@returned@*/ constraint p_c); |
d46ce6a4 | 15 | |
28bf4b0b | 16 | extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList p_list1, constraintList p_list2); |
d1eb43aa | 17 | |
28bf4b0b | 18 | extern constraintList constraintList_subsumeEnsures (constraintList p_list1, constraintList p_list2); |
d1eb43aa | 19 | |
28bf4b0b | 20 | extern constraintList constraintList_mergeEnsures (/*observer@*/ /*@temp@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2); |
bb25bea6 | 21 | |
28bf4b0b | 22 | /*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2); |
bb25bea6 | 23 | |
24 | ||
28bf4b0b | 25 | bool constraint_isAlwaysTrue (/*@observer@*/ /*@temp@*/ constraint p_c); |
bb25bea6 | 26 | |
28bf4b0b | 27 | /*@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ /*@temp@*/ constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2); |
bb25bea6 | 28 | |
28bf4b0b | 29 | /*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2); |
bb25bea6 | 30 | |
31 | ||
d1eb43aa | 32 | |
28bf4b0b | 33 | constraintList constraintList_reflectChangesOr (constraintList p_pre2, constraintList p_post1); |
84c9ffbf | 34 | |
28bf4b0b | 35 | /*@only@*/ constraintList constraintList_substitute (constraintList p_target, /*2observer@*/ constraintList p_subList); |
bb25bea6 | 36 | |
28bf4b0b | 37 | /*@only@*/ constraintList constraintList_substituteFreeTarget (/*@only@*/ constraintList p_target, /*@observer@*/ /*@temp@*/ constraintList p_subList); |
d46ce6a4 | 38 | |
28bf4b0b | 39 | extern void exprNode_mergeResolve (exprNode p_parent, exprNode p_child1, exprNode p_child2); |
d46ce6a4 | 40 | |
28bf4b0b | 41 | //extern constraintList checkCall (exprNode p_fcn, exprNodeList p_arglist); |
bb25bea6 | 42 |