diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:33:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:33:31 -0700 |
| commit | 2427563269566c458f475dfe6fa4388dac80aa02 (patch) | |
| tree | 5a663c7bac47e63b72fcb431ea26d9ab1879e5e7 /src/sat/bsat/satClause.h | |
| parent | 05c8b785318534b960d5b263dac5b6013a1884dd (diff) | |
| download | abc-2427563269566c458f475dfe6fa4388dac80aa02.tar.gz abc-2427563269566c458f475dfe6fa4388dac80aa02.tar.bz2 abc-2427563269566c458f475dfe6fa4388dac80aa02.zip | |
Changes to clause mapping.
Diffstat (limited to 'src/sat/bsat/satClause.h')
| -rw-r--r-- | src/sat/bsat/satClause.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satClause.h b/src/sat/bsat/satClause.h index 7769dc36..d5df71ad 100644 --- a/src/sat/bsat/satClause.h +++ b/src/sat/bsat/satClause.h @@ -136,7 +136,7 @@ static inline lit clause_read_lit( cla h ) { return (li static inline int clause_learnt_h( Sat_Mem_t * p, cla h ) { return (h & p->uLearnedMask) > 0; } static inline int clause_learnt( clause * c ) { return c->lrn; } static inline int clause_id( clause * c ) { return c->lits[c->size]; } -static inline int clause_set_id( clause * c, int id ) { c->lits[c->size] = id; } +static inline void clause_set_id( clause * c, int id ) { c->lits[c->size] = id; } static inline int clause_size( clause * c ) { return c->size; } static inline lit * clause_begin( clause * c ) { return c->lits; } static inline lit * clause_end( clause * c ) { return c->lits + c->size; } |