diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-14 16:43:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-14 16:43:43 -0700 |
| commit | 1ca94c102333ebb905b4ad8186ade01cd5f073fe (patch) | |
| tree | 53ba33b78ed82842157b0216dcfd7d9c7563cf1d /src/aig/gia | |
| parent | cfc7fe7d31faf97d3c761ad591714e95b1807572 (diff) | |
| download | abc-1ca94c102333ebb905b4ad8186ade01cd5f073fe.tar.gz abc-1ca94c102333ebb905b4ad8186ade01cd5f073fe.tar.bz2 abc-1ca94c102333ebb905b4ad8186ade01cd5f073fe.zip | |
Added new refinement manager for &gla and &abs_refine.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaAbsRef.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 2cf90562..38e51f11 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -29,6 +29,7 @@ ABC_NAMESPACE_IMPL_START This refinement manager should be * started by calling Rnm_ManStart() this procedure takes one argument, the user's seq miter as a GIA manager + - the manager should have only one property output - this manager should not change while the refinement manager is alive - it cannot be used by external applications for any purpose - when the refinement manager stop, GIA manager is the same as at the beginning @@ -131,6 +132,7 @@ static inline Rnm_Obj_t * Rnm_ManObj( Rnm_Man_t * p, Gia_Obj_t * pObj, int f ) Rnm_Man_t * Rnm_ManStart( Gia_Man_t * pGia ) { Rnm_Man_t * p; + assert( Gia_ManPoNum(pGia) == 1 ); p = ABC_CALLOC( Rnm_Man_t, 1 ); p->pGia = pGia; p->vObjs = Vec_IntAlloc( 100 ); |