diff options
Diffstat (limited to 'src/aig/dch/dchClass.c')
| -rw-r--r-- | src/aig/dch/dchClass.c | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/src/aig/dch/dchClass.c b/src/aig/dch/dchClass.c index 5d192195..ab306ca9 100644 --- a/src/aig/dch/dchClass.c +++ b/src/aig/dch/dchClass.c @@ -26,7 +26,7 @@ The first node of the class is its representative node. The representative has the smallest topological order among the class nodes. The nodes inside each class are ordered according to their topological order. - The classes are ordered according to the topological order of their representatives. + The classes are ordered according to the topo order of their representatives. */ // internal representation of candidate equivalence classes @@ -207,6 +207,25 @@ int Dch_ClassesLitNum( Dch_Cla_t * p ) /**Function************************************************************* + Synopsis [Stop representation of equivalence classes.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Aig_Obj_t ** Dch_ClassesReadClass( Dch_Cla_t * p, Aig_Obj_t * pRepr, int * pnSize ) +{ + assert( p->pId2Class[pRepr->Id] != NULL ); + assert( p->pClassSizes[pRepr->Id] > 1 ); + *pnSize = p->pClassSizes[pRepr->Id]; + return p->pId2Class[pRepr->Id]; +} + +/**Function************************************************************* + Synopsis [Checks candidate equivalence classes.] Description [] |