src/Headers/constraintTerm.h

   1
   2 #ifndef __constraintTerm_h__
   3
   4 #define __constraintTerm_h__
   5
   6 constraintTerm constraintTerm_simplify (constraintTerm term);
   7
   8 constraintTerm constraintTerm_makeExprNode (/*@only@*/ exprNode e);
   9
  10 constraintTerm constraintTerm_copy (constraintTerm term);
  11
  12 constraintTerm exprNode_makeConstraintTerm ( exprNode e);
  13
  14
  15 bool constraintTerm_same (constraintTerm term1, constraintTerm term2);
  16
  17 bool constraintTerm_similar (constraintTerm term1, constraintTerm term2);
  18
  19 bool constraintTerm_canGetValue (constraintTerm term);
  20 int constraintTerm_getValue (constraintTerm term);
  21
  22 fileloc constraintTerm_getFileloc (constraintTerm t);
  23
  24 constraintTerm constraintTerm_makeMaxSetexpr (exprNode e);
  25
  26 constraintTerm constraintTerm_makeMinSetexpr (exprNode e);
  27
  28 constraintTerm constraintTerm_makeMaxReadexpr (exprNode e);
  29
  30 constraintTerm constraintTerm_makeMinReadexpr (exprNode e);
  31
  32 constraintTerm constraintTerm_makeValueexpr (exprNode e);
  33
  34 constraintTerm intLit_makeConstraintTerm (int i);
  35
  36 constraintTerm constraintTerm_makeIntLitValue (int i);
  37
  38 bool constraintTerm_isIntLiteral (constraintTerm term);
  39
  40 cstring constraintTerm_print (constraintTerm term);
  41
  42 #endif
  43
  44
  45
  46
  47
  48