src/Headers/constraintResolve.h

   1
   2 extern constraintList reflectChanges (constraintList pre2, constraintList post1);
   3 extern constraint substitute (constraint c, constraintList p);
   4 //extern constraint constraint_searchandreplace (constraint c, constraintExpr old, constraintExpr new);
   5 extern bool rangeCheck (arithType ar1, /*@observer@*/ constraintExpr expr1, arithType ar2, /*@observer@*/ constraintExpr expr2);
   6 extern bool satifies (/*@observer@*/ constraint pre, /*@observer@*/ constraint post);
   7
   8 extern bool resolve ( /*@observer@*/ constraint c,  /*@observer@*/ constraintList p);
   9 /*@only@*/ constraintList reflectChangesEnsures (/*@only@*/ constraintList pre2, constraintList post1);
  10
  11 extern constraint constraint_simplify ( /*@returned@*/ constraint c);
  12
  13 extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList list1, constraintList list2);
  14
  15 extern constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2);
  16
  17 extern constraintList constraintList_mergeEnsures (constraintList list1, constraintList list2);
  18
  19 bool constraint_isAlwaysTrue (constraint c);
  20 constraintList constraintList_mergeRequires (constraintList list1, constraintList list2);
  21 constraintList reflectChangesOr (constraintList pre2, constraintList post1);
  22
  23 constraintList constraintList_substitute (constraintList target, constraintList subList);
  24
  25 extern void mergeResolve (exprNode parent, exprNode child1, exprNode child2);
  26 extern constraintList checkCall (exprNode fcn, exprNodeList arglist);
  27
  28 void checkArgumentList (/*@out@*/ exprNode temp, exprNodeList arglist, fileloc sequencePoint) /*@modifies temp @*/;