Searched refs:dVarInc (Results 1 – 4 of 4) sorted by relevance
51 p->pdActivity[Var] += p->dVarInc; in Msat_SolverVarBumpActivity()72 p->dVarInc *= p->dVarDecay; in Msat_SolverVarDecayActivity()91 p->dVarInc *= 1e-100; in Msat_SolverVarRescaleActivity()
156 double dVarInc, double dVarDecay, in Msat_SolverAlloc() argument177 p->dVarInc = dVarInc; in Msat_SolverAlloc()
113 …* Msat_SolverAlloc( int nVars, double dClaInc, double dClaDecay, double dVarInc, double dVarDecay…
108 double dVarInc; // Amount to bump next variable with. member