diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-27 23:34:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-27 23:34:11 -0700 |
| commit | f08be2742e892b7b81f234785cbbae85c61ab024 (patch) | |
| tree | 185a735442567e15120825753a91ac5d29214ce1 /src/aig | |
| parent | 24d27e5524fd40297078065a76934f596abfa80e (diff) | |
| download | abc-f08be2742e892b7b81f234785cbbae85c61ab024.tar.gz abc-f08be2742e892b7b81f234785cbbae85c61ab024.tar.bz2 abc-f08be2742e892b7b81f234785cbbae85c61ab024.zip | |
C++ portability changes.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/cnf/cnfFast.c | 4 | ||||
| -rw-r--r-- | src/aig/saig/saigGlaCba.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/cnf/cnfFast.c b/src/aig/cnf/cnfFast.c index fcec8ba3..afa05a05 100644 --- a/src/aig/cnf/cnfFast.c +++ b/src/aig/cnf/cnfFast.c @@ -259,7 +259,7 @@ void Cnf_ComputeClauses( Aig_Man_t * p, Aig_Obj_t * pRoot, if ( (Cube & 3) == 0 ) continue; assert( (Cube & 3) != 3 ); - Vec_IntPush( vClauses, Cnf_ObjGetLit(vMap, Vec_PtrEntry(vLeaves,k), (Cube&3)!=1) ); + Vec_IntPush( vClauses, Cnf_ObjGetLit(vMap, (Aig_Obj_t *)Vec_PtrEntry(vLeaves,k), (Cube&3)!=1) ); } } @@ -276,7 +276,7 @@ void Cnf_ComputeClauses( Aig_Man_t * p, Aig_Obj_t * pRoot, if ( (Cube & 3) == 0 ) continue; assert( (Cube & 3) != 3 ); - Vec_IntPush( vClauses, Cnf_ObjGetLit(vMap, Vec_PtrEntry(vLeaves,k), (Cube&3)!=1) ); + Vec_IntPush( vClauses, Cnf_ObjGetLit(vMap, (Aig_Obj_t *)Vec_PtrEntry(vLeaves,k), (Cube&3)!=1) ); } } } diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index ae439631..5c7c76cf 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -394,7 +394,7 @@ int Aig_Gla1ObjAddToSolver( Aig_Gla1Man_t * p, Aig_Obj_t * pObj, int k ) Aig_ObjFaninC0(pObj), Aig_ObjFaninC1(pObj) ); // derive clauses assert( pObj->fMarkA ); - vClauses = Vec_PtrEntry( p->vObj2Cnf, Aig_ObjId(pObj) ); + vClauses = (Vec_Int_t *)Vec_PtrEntry( p->vObj2Cnf, Aig_ObjId(pObj) ); if ( vClauses == NULL ) { Vec_PtrWriteEntry( p->vObj2Cnf, Aig_ObjId(pObj), (vClauses = Vec_IntAlloc(16)) ); |