Searched defs:clause_s (Results 1 – 2 of 2) sorted by relevance
204 struct clause_s { struct205 link_t link[2];206 literal_t cl[0];
114 struct clause_s { struct119 typedef struct learned_clause_s { argument