src/Headers/constraintTerm.h

   1
   2 constraintTerm constraintTerm_copy (constraintTerm term);
   3
   4 constraintTerm exprNode_makeConstraintTerm (/*@only@*/ exprNode e);
   5
   6 constraintTerm constraintTerm_makeMaxSetexpr (exprNode e);
   7
   8 constraintTerm constraintTerm_makeMinSetexpr (exprNode e);
   9
  10 constraintTerm constraintTerm_makeMaxReadexpr (exprNode e);
  11
  12 constraintTerm constraintTerm_makeMinReadexpr (exprNode e);
  13
  14 constraintTerm constraintTerm_makeValueexpr (exprNode e);
  15
  16 constraintTerm intLit_makeConstraintTerm (int i);
  17
  18 constraintTerm constraintTerm_makeIntLitValue (int i);
  19
  20 cstring  constraintType_print (constraintType constrType);
  21
  22 cstring constraintTerm_print (constraintTerm term);
  23
  24