diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-15 18:47:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-15 18:47:10 -0700 |
| commit | e1b51d1863a974f7be203a3cc46727575045e3bd (patch) | |
| tree | accde32f1198ab40abd9fec6fcc70feb316cd069 /src/sat/bsat | |
| parent | db43d6fbd894474024c13cb2af4691f290299b69 (diff) | |
| download | abc-e1b51d1863a974f7be203a3cc46727575045e3bd.tar.gz abc-e1b51d1863a974f7be203a3cc46727575045e3bd.tar.bz2 abc-e1b51d1863a974f7be203a3cc46727575045e3bd.zip | |
Experiments with edge-based mapping.
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index f1f6345e..9d885701 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -219,8 +219,9 @@ void sat_solver_set_var_activity(sat_solver* s, int * pVars, int nVars) s->var_inc = 1; for ( i = 0; i < nVars; i++ ) { - s->activity[pVars[i]] = nVars-i; - order_update( s, pVars[i] ); + int iVar = pVars ? pVars[i] : i; + s->activity[iVar] = nVars-i; + order_update( s, iVar ); } } |