Searched refs:size_learnt (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.c77 int size_learnt; member in struct:clause_t
81 static inline int clause_size (clause* c) { return c->size_learnt >> 1; }
83 static inline int clause_learnt (clause* c) { return c->size_learnt & 1; }
84 static inline float clause_activity (clause* c) { return *((float*)&c->lits[c->size_learnt>>1]); }
85 static inline void clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
291 c->size_learnt = (size << 1) | learnt;
934 s->binary->size_learnt = (2 << 1);

Completed in 8 milliseconds