Searched defs:d_cnf (Results 1 – 3 of 3) sorted by relevance
38 CNF_Formula_Impl* d_cnf; variable
111 prop::CnfStream* d_cnf; variable
167 bool d_cnf; // in a cnf formula variable