diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-05 11:53:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-05 11:53:57 -0800 |
| commit | bb96fa361ca10886096c6884f96d32b6961fef35 (patch) | |
| tree | ddab8ded6fe74927ae6ad2951ca687cae3f31f1f /src/sat/bsat/satProof.c | |
| parent | 7a19593d3fcb09c4511dcd8fd34c20dd048e6405 (diff) | |
| download | abc-bb96fa361ca10886096c6884f96d32b6961fef35.tar.gz abc-bb96fa361ca10886096c6884f96d32b6961fef35.tar.bz2 abc-bb96fa361ca10886096c6884f96d32b6961fef35.zip | |
Proof-logging in the updated solver.
Diffstat (limited to 'src/sat/bsat/satProof.c')
| -rw-r--r-- | src/sat/bsat/satProof.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c index b3cf2b6c..5b3901a1 100644 --- a/src/sat/bsat/satProof.c +++ b/src/sat/bsat/satProof.c @@ -48,7 +48,7 @@ struct Sat_Set_t_ static inline int Sat_SetCheck( Vec_Int_t * p, Sat_Set_t * pNode ) { return (int *)pNode > Vec_IntArray(p) && (int *)pNode < Vec_IntLimit(p); } static inline int Sat_SetId( Vec_Int_t * p, Sat_Set_t * pNode ) { return (int *)pNode - Vec_IntArray(p); } -static inline Sat_Set_t * Sat_SetFromId( Vec_Int_t * p, int i ) { return (Sat_Set_t *)(Vec_IntArray(p) + i); } +static inline Sat_Set_t * Sat_SetFromId( Vec_Int_t * p, int i ) { return (Sat_Set_t *)(Vec_IntArray(p) + i); } static inline int Sat_SetSize( Sat_Set_t * pNode ) { return pNode->nEnts + 2; } #define Sat_PoolForEachSet( p, pNode, i ) \ |