abc/src/base/abci/abcRec3.c
// count how many times TT occurs
count how many times TT occurs
count how many times TT occurs
Vec_Int_t * Lms_GiaCountTruths( Lms_Man_t * p )
{
    Vec_Int_t * vCounts = Vec_IntStart( Vec_MemEntryNum(p->vTtMem) );
    int i, Entry;
    Vec_IntForEachEntry( p->vTruthIds, Entry, i )
        if ( Entry >= 0 )
            Vec_IntAddToEntry( vCounts, Entry, 1 );
    return vCounts;
}
Vec_Int_t * Lms_GiaCountTruths ( Lms_Man_t * p ) { Vec_Int_t * vCounts = Vec_IntStart ( Vec_MemEntryNum ( p -> vTtMem ) ) ; int i , Entry ; Vec_IntForEachEntry ( p -> vTruthIds , Entry , i ) if ( Entry >= 0 ) Vec_IntAddToEntry ( vCounts , Entry , 1 ) ; return vCounts ; }
count how many times TT occurs
count how many times TT occurs