blob: 3eb444027855ac5f43542b504a4ca7faa41346a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
typedef struct {
int b;
int a;
} * CLAUSE;
__inline__ int g(CLAUSE c) { return c->b; }
__inline__ int d(CLAUSE c) { return c->a; }
__inline__ void clause_SetNumOfConsLits(CLAUSE c, int e) {
c->b = e;
c->a = e;
}
__inline__ int f(CLAUSE c) { return g(c) + d(c); }
__inline__ int clause_LastLitIndex(c) { return f(c); }
|