src/Headers/constraintResolve.h

   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