Lines Matching defs:data
86 Lit data[1];
91 for (int i = 0; i < ps.size(); i++) data[i] = ps[i];
100 Lit operator [] (int i) const { return data[i]; }
101 Lit& operator [] (int i) { return data[i]; }
102 float& activity () const { return *((float*)&data[size()]); }
103 ClauseId& id () const { return *((ClauseId*)&data[size() + (int)learnt()]); }
120 void* data;
121 GClause(void* d) : data(d) {}
126 bool isLit () const { return ((uintp)data & 1) == 1; }
127 Lit lit () const { return toLit(((intp)data) >> 1); }
128 Clause* clause () const { return (Clause*)data; }
129 bool operator == (GClause c) const { return data == c.data; }
130 bool operator != (GClause c) const { return data != c.data; }