reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
67 D->NumVars = VL.size(); 68 D->setVars(VL); 69 D->NumClauses = CL.size(); 70 D->setClauses(CL); 71 return D;