projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve hash function to fix collision problem
[satune.git]
/
src
/
AST
/
ops.h
diff --git
a/src/AST/ops.h
b/src/AST/ops.h
index 8ad60c7545ad1884d7c18247473025749540a2aa..8b082025348ffaeab34916512eb55368068473d9 100644
(file)
--- a/
src/AST/ops.h
+++ b/
src/AST/ops.h
@@
-1,6
+1,6
@@
#ifndef OPS_H
#define OPS_H
#ifndef OPS_H
#define OPS_H
-enum LogicOp {SATC_AND, SATC_OR, SATC_NOT, SATC_XOR, SATC_IMPLIES};
+enum LogicOp {SATC_AND, SATC_OR, SATC_NOT, SATC_XOR, SATC_I
FF, SATC_I
MPLIES};
typedef enum LogicOp LogicOp;
enum ArithOp {SATC_ADD, SATC_SUB};
typedef enum LogicOp LogicOp;
enum ArithOp {SATC_ADD, SATC_SUB};
@@
-12,9
+12,6
@@
typedef enum CompOp CompOp;
enum OrderType {SATC_PARTIAL, SATC_TOTAL};
typedef enum OrderType OrderType;
enum OrderType {SATC_PARTIAL, SATC_TOTAL};
typedef enum OrderType OrderType;
-enum HappenedBefore {SATC_FIRST, SATC_SECOND, SATC_UNORDERED};
-typedef enum HappenedBefore HappenedBefore;
-
/**
* SATC_FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
* SATC_OVERFLOWSETSFLAG -- sets the flag if the operation overflows
/**
* SATC_FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
* SATC_OVERFLOWSETSFLAG -- sets the flag if the operation overflows