Searched refs:newVarCnt (Results 1 – 18 of 18) sorted by relevance
37 void MinimizingSolver::ensureVarCount(unsigned newVarCnt) in ensureVarCount() argument41 if (newVarCnt<= _varCnt) { in ensureVarCount()44 _varCnt = newVarCnt; in ensureVarCount()45 _inner->ensureVarCount(newVarCnt); in ensureVarCount()46 _asgn.expand(newVarCnt+1); in ensureVarCount()47 _watcher.expand(newVarCnt+1); in ensureVarCount()48 _unsClCnt.expand(newVarCnt+1, 0); in ensureVarCount()49 _heap.elMap().expand(newVarCnt+1); in ensureVarCount()50 _clIdx.expand(newVarCnt+1); in ensureVarCount()
101 virtual void ensureVarCount(unsigned newVarCnt) override { in ensureVarCount() argument102 _inner->ensureVarCount(newVarCnt); in ensureVarCount()103 _fallback->ensureVarCount(newVarCnt); in ensureVarCount()104 _varCnt=max(_varCnt,newVarCnt); in ensureVarCount()
78 …ual void ensureVarCount(unsigned newVarCnt) override { _inner->ensureVarCount(newVarCnt); _varCnt=… in ensureVarCount() argument
127 void TWLSolver::ensureVarCount(unsigned newVarCnt) in ensureVarCount() argument131 if(newVarCnt<=_varCnt) { in ensureVarCount()135 _assignment.expand(newVarCnt+1, AS_UNDEFINED); in ensureVarCount()136 _assignmentLevels.expand(newVarCnt+1); in ensureVarCount()137 _assignmentPremises.expand(newVarCnt+1, 0); in ensureVarCount()138 _lastAssignments.expand(newVarCnt+1, AS_UNDEFINED); in ensureVarCount()139 _propagationScheduled.expand(newVarCnt+1); in ensureVarCount()141 _windex.expand((newVarCnt+1)*2); in ensureVarCount()143 _varCnt=newVarCnt; in ensureVarCount()145 _variableSelector->ensureVarCount(newVarCnt); in ensureVarCount()
38 void TransparentSolver::ensureVarCnt(unsigned newVarCnt) in ensureVarCnt() argument42 _inner->ensureVarCnt(newVarCnt); in ensureVarCnt()43 _vars.expand(newVarCnt); in ensureVarCnt()
76 void MinisatInterfacingNewSimp::ensureVarCount(unsigned newVarCnt) in ensureVarCount() argument81 while(_solver.nVars() < (int)newVarCnt) { in ensureVarCount()
95 void ensureVarCount(unsigned newVarCnt) override { in ensureVarCount() argument98 while (_varCnt < newVarCnt) { in ensureVarCount()
50 virtual void ensureVarCnt(unsigned newVarCnt);
88 virtual void ensureVarCount(unsigned newVarCnt) override;
70 virtual void ensureVarCount(unsigned newVarCnt) override;
95 virtual void ensureVarCount(unsigned newVarCnt) override;
51 void MinisatInterfacing::ensureVarCount(unsigned newVarCnt) in ensureVarCount() argument55 while(_solver.nVars() < (int)newVarCnt) { in ensureVarCount()
132 virtual void ensureVarCount(unsigned newVarCnt) {} in ensureVarCount() argument
84 virtual void ensureVarCount(unsigned newVarCnt) override;
39 void CheckedSatSolver::ensureVarCount(unsigned newVarCnt) in ensureVarCount() argument43 _varCnt = std::max(_varCnt, newVarCnt); in ensureVarCount()44 _inner->ensureVarCount(newVarCnt); in ensureVarCount()
87 void RecordingSatSolver::ensureVarCnt(unsigned newVarCnt) in ensureVarCnt() argument91 REC("act=evc:nwc="<<newVarCnt); in ensureVarCnt()93 _inner->ensureVarCnt(newVarCnt); in ensureVarCnt()
66 virtual void ensureVarCount(unsigned newVarCnt) override;
46 virtual void ensureVarCnt(unsigned newVarCnt);