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 constraintTerm constraintTerm_makesRef  (/*@only@*/ sRef s);
  43
  44 bool constraintTerm_probSame (constraintTerm term1, constraintTerm term2);
  45
  46
  47 constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeList arglist);
  48
  49 constraintExpr
  50 constraintTerm_doSRefFixConstraintParam (constraintExpr e, exprNodeList arglist);
  51
  52 constraintTerm constraintTerm_setFileloc (constraintTerm term, fileloc loc);
  53 cstring constraintTerm_print (constraintTerm term);
  54 constraintTerm constraintTerm_makeIntLiteral (int i);
  55
  56 bool constraintTerm_isStringLiteral (constraintTerm c);
  57 cstring constraintTerm_getStringLiteral (constraintTerm c);
  58
  59 constraintExpr
  60 constraintTerm_doFixResult (constraintExpr e, exprNode fcnCall);
  61
  62 #endif
  63
  64
  65
  66
  67
  68