Searched refs:_assignment_stack (Results 1 – 2 of 2) sorted by relevance
105 delete _assignment_stack[i]; in ~CSolver()151 _assignment_stack.push_back(new vector<int>); in init()169 _assignment_stack.push_back(new vector<int>); in add_variables()466 if ((*_assignment_stack[i]).size() > 0) in dump_assignment_stack()467 if (variable( (*_assignment_stack[i])[0]>>1).get_antecedence()==FLIPPED) in dump_assignment_stack()470 for (unsigned j=0; j<(*_assignment_stack[i]).size(); ++j ) in dump_assignment_stack()471 cout << ((*_assignment_stack[i])[j]&0x1?"-":"+") in dump_assignment_stack()472 << ((*_assignment_stack[i])[j] >> 1) << " "; in dump_assignment_stack()837 vector<int> & assignments = *_assignment_stack[i]; in back_track()869 _assignment_stack[dl]->push_back(literal); in deduce()[all …]
152 vector<vector<int> *> _assignment_stack; variable333 mem_assignment += _assignment_stack[i]->capacity() * sizeof(int); in mem_usage()334 mem_assignment += sizeof(vector<int>)* _assignment_stack.size(); in mem_usage()