src/Headers/constraintTerm.h

   1
   2 #ifndef __constraintTerm_h__
   3
   4 #define __constraintTerm_h__
   5
   6
   7 constraintTerm constraintTerm_simplify (/*@returned@*/ constraintTerm term);
   8
   9 constraintTerm constraintTerm_makeExprNode (/*@only@*/ exprNode e);
  10
  11 constraintTerm constraintTerm_copy (constraintTerm term);
  12
  13 constraintTerm exprNode_makeConstraintTerm ( exprNode e);
  14
  15
  16 bool constraintTerm_same (constraintTerm term1, constraintTerm term2);
  17
  18 bool constraintTerm_similar (constraintTerm term1, constraintTerm term2);
  19
  20 bool constraintTerm_canGetValue (constraintTerm term);
  21 int constraintTerm_getValue (constraintTerm term);
  22
  23 fileloc constraintTerm_getFileloc (constraintTerm t);
  24
  25 constraintTerm constraintTerm_makeMaxSetexpr (exprNode e);
  26
  27 constraintTerm constraintTerm_makeMinSetexpr (exprNode e);
  28
  29 constraintTerm constraintTerm_makeMaxReadexpr (exprNode e);
  30
  31 constraintTerm constraintTerm_makeMinReadexpr (exprNode e);
  32
  33 constraintTerm constraintTerm_makeValueexpr (exprNode e);
  34
  35 constraintTerm intLit_makeConstraintTerm (int i);
  36
  37 constraintTerm constraintTerm_makeIntLitValue (int i);
  38
  39 bool constraintTerm_isIntLiteral (constraintTerm term);
  40
  41 cstring constraintTerm_print (constraintTerm term);
  42
  43 constraintTerm constraintTerm_makesRef  (/*@only@*/ sRef s);
  44
  45 bool constraintTerm_probSame (constraintTerm term1, constraintTerm term2);
  46
  47
  48 constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeList arglist);
  49
  50 constraintExpr
  51 constraintTerm_doSRefFixConstraintParam (constraintExpr e, exprNodeList arglist);
  52
  53 constraintTerm constraintTerm_setFileloc (/*@returned@*/ constraintTerm term, fileloc loc);
  54
  55 constraintTerm constraintTerm_makeIntLiteral (int i);
  56
  57 bool constraintTerm_isStringLiteral (constraintTerm c);
  58 cstring constraintTerm_getStringLiteral (constraintTerm c);
  59
  60 constraintExpr
  61 constraintTerm_doFixResult (constraintExpr e, exprNode fcnCall);
  62
  63 #endif
  64
  65
  66
  67
  68
  69