Searched defs:introduced_at_conflict (Results 1 – 4 of 4) sorted by relevance
167 uint32_t introduced_at_conflict = 0; ///<At what conflict number the clause was introduced member
407 uint64_t introduced_at_conflict; in add_clause_int() local