fConjList
if (fConjList) {
delete fConjList;
fConjList = NULL;
fConjList = list;
return fConjList ? B_OK : B_NO_INIT;
for (i = fConjList->begin(); i != fConjList->end(); i++) {
for (i = fConjList->begin(); i != fConjList->end(); i++) {
std::vector<DisjList*> *fConjList; // A list of DisjLists to be ANDed