diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-18 17:08:54 -0800 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-18 17:08:54 -0800 |
commit | 3f0cb6318b14e286cd9054a0f771183d15ef3db6 (patch) | |
tree | 2d34279d7b5cb54f112c2bcbdd2d66dbfd353102 /src/sat/satoko/solver.c | |
parent | ac409b3152bf0bb6fd49c243ae635ca288d92b06 (diff) | |
download | abc-3f0cb6318b14e286cd9054a0f771183d15ef3db6.tar.gz abc-3f0cb6318b14e286cd9054a0f771183d15ef3db6.tar.bz2 abc-3f0cb6318b14e286cd9054a0f771183d15ef3db6.zip |
New function to retrieve polarity value of a variable.
Diffstat (limited to 'src/sat/satoko/solver.c')
-rw-r--r-- | src/sat/satoko/solver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c index 6554f653..3e5fc8ee 100644 --- a/src/sat/satoko/solver.c +++ b/src/sat/satoko/solver.c @@ -195,7 +195,7 @@ static inline unsigned solver_decide(solver_t *s) if (solver_has_marks(s) && !var_mark(s, next_var)) next_var = UNDEF; } - return var2lit(next_var, vec_char_at(s->polarity, next_var)); + return var2lit(next_var, var_polarity(s, next_var)); } static inline void solver_new_decision(solver_t *s, unsigned lit) |