]>
Commit | Line | Data |
---|---|---|
361091cc | 1 | |
92c4a786 | 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 | ||
361091cc | 10 | constraintTerm constraintTerm_copy (constraintTerm term); |
11 | ||
92c4a786 | 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); | |
361091cc | 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 | ||
92c4a786 | 38 | bool constraintTerm_isIntLiteral (constraintTerm term); |
361091cc | 39 | |
40 | cstring constraintTerm_print (constraintTerm term); | |
41 | ||
93307a76 | 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); | |
ef2aa32a | 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 | ||
92c4a786 | 62 | #endif |
63 | ||
64 | ||
65 | ||
66 | ||
67 | ||
361091cc | 68 |