xsatMemory.h

Go to the documentation of this file.

#ifndef ABC__sat__xSAT__xsatMemory_h
#define ABC__sat__xSAT__xsatMemory_h

#include "misc/util/abc_global.h"
 
#include "xsatClause.h"
 
ABC_NAMESPACE_HEADER_START

typedef struct xSAT_Mem_t_ xSAT_Mem_t;
struct xSAT_Mem_t_
{
    unsigned   nSize;
    unsigned   nCap;
    unsigned   nWasted;
    unsigned * pData;
};


static inline xSAT_Clause_t *  xSAT_MemClauseHand( xSAT_Mem_t * p, int h )
{
    return h != 0xFFFFFFFF ? ( xSAT_Clause_t * )( p->pData + h ) : NULL;
}

static inline void xSAT_MemGrow( xSAT_Mem_t * p, unsigned nCap )
{
    unsigned nPrevCap = p->nCap;
    if ( p->nCap >= nCap )
        return;
    while (p->nCap < nCap)
    {
        unsigned delta = ( ( p->nCap >> 1 ) + ( p->nCap >> 3 ) + 2 ) & ~1;
        p->nCap += delta;
        assert(p->nCap >= nPrevCap);
    }
    assert(p->nCap > 0);
    p->pData = ABC_REALLOC( unsigned, p->pData, p->nCap );
}

static inline xSAT_Mem_t * xSAT_MemAlloc( int nCap )
{
    xSAT_Mem_t * p;
    p = ABC_CALLOC( xSAT_Mem_t, 1 );
    if (nCap <= 0)
        nCap = 1024*1024;
 
    xSAT_MemGrow(p, nCap);
    return p;
}

static inline void xSAT_MemRestart( xSAT_Mem_t * p )
{
    p->nSize = 0;
    p->nWasted = 0;
}

static inline void xSAT_MemFree( xSAT_Mem_t * p )
{
    ABC_FREE( p->pData );
    ABC_FREE( p );
}

static inline unsigned xSAT_MemAppend( xSAT_Mem_t * p, int nSize )
{
    unsigned nPrevSize;
    assert(nSize > 0);
    xSAT_MemGrow( p, p->nSize + nSize );
    nPrevSize = p->nSize;
    p->nSize += nSize;
    assert(p->nSize > nPrevSize);
    return nPrevSize;
}

static inline unsigned xSAT_MemCRef( xSAT_Mem_t * p, unsigned * pC )
{
    return ( unsigned )( pC - &(p->pData[0]) );
}

static inline unsigned xSAT_MemCap( xSAT_Mem_t * p )
{
    return p->nCap;
}

static inline unsigned xSAT_MemWastedCap( xSAT_Mem_t * p )
{
    return p->nWasted;
}
 
ABC_NAMESPACE_HEADER_END
 
#endif