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, constraintExpr expr1, arithType ar2, constraintExpr expr2);
   6 extern bool satifies (constraint pre, constraint post);
   7
   8 extern bool resolve (constraint c, constraintList p);
   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);
  19 constraintList constraintList_mergeRequires (constraintList list1, constraintList list2);