Lines Matching defs:operator
45 friend Lit operator ~ (Lit p);
54 friend bool operator == (Lit p, Lit q);
55 friend bool operator < (Lit p, Lit q);
59 inline Lit operator ~ (Lit p) { Lit q; q.x = p.x ^ 1; return q; }
66 inline bool operator == (Lit p, Lit q) { return index(p) == index(q); }
67 inline bool operator < (Lit p, Lit q) { return index(p) < index(q); } // '<' guarantees that p, ~p are adjacent in the ordering.
100 Lit operator [] (int i) const { return data[i]; }
101 Lit& operator [] (int i) { return data[i]; }
129 bool operator == (GClause c) const { return data == c.data; }
130 bool operator != (GClause c) const { return data != c.data; }