giaCTas2.c File Reference

#include "gia.h"

Include dependency graph for giaCTas2.c:

Go to the source code of this file.

Classes
struct	Tas_Par_t_
struct	Tas_Sto_t_
struct	Tas_Que_t_
struct	Tas_Var_t_
struct	Tas_Cls_t_
struct	Tas_Man_t_

Macros
#define	Tas_ClaForEachVar(p, pClause, pVar, i)
#define	Tas_QueForEachVar(p, pQue, pVar, i)

Typedefs
typedef struct Tas_Var_t_	Tas_Var_t

Functions
Tas_Var_t *	Tas_ManCreateVar (Tas_Man_t *p)
	FUNCTION DEFINITIONS ///.
Tas_Var_t *	Tas_ManObj2Var (Tas_Man_t *p, Gia_Obj_t *pObj)

Macro Definition Documentation

Tas_ClaForEachVar

#define Tas_ClaForEachVar	(		p,
			pClause,
			pVar,
			i )

Value:

    for ( pVar = Tas_ManVar(p, pClause->pVars[(i=0)]); pClause->pVars[i]; pVar = (Tas_Var_t *)(((char *)pVar + pClause->pVars[++i])) )

Definition at line 141 of file giaCTas2.c.

#define Tas_ClaForEachVar( p, pClause, pVar, i )          \
    for ( pVar = Tas_ManVar(p, pClause->pVars[(i=0)]); pClause->pVars[i]; pVar = (Tas_Var_t *)(((char *)pVar + pClause->pVars[++i])) )

Tas_QueForEachVar

#define Tas_QueForEachVar	(		p,
			pQue,
			pVar,
			i )

Value:

    for ( pVar = Tas_ManVar(p, pQue->pVars[(i=pQue->iHead)]); i < pQue->iTail; pVar = Tas_ManVar(p, pQue->pVars[i++]) )

Definition at line 144 of file giaCTas2.c.

#define Tas_QueForEachVar( p, pQue, pVar, i )             \
    for ( pVar = Tas_ManVar(p, pQue->pVars[(i=pQue->iHead)]); i < pQue->iTail; pVar = Tas_ManVar(p, pQue->pVars[i++]) )

Typedef Documentation

Tas_Var_t

typedef struct Tas_Var_t_ Tas_Var_t

Definition at line 61 of file giaCTas2.c.

Function Documentation

Tas_ManCreateVar()

Tas_Var_t * Tas_ManCreateVar

(

Tas_Man_t *

p

)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 163 of file giaCTas2.c.

{
    Tas_Var_t * pVar;
    if ( p->pVars->iCur + sizeof(Tas_Var_t) > p->pVars->nSize )
    {
        p->pVars->nSize *= 2;
        p->pVars->pData = ABC_REALLOC( char, p->pVars->pData, p->pVars->nSize ); 
    }
    pVar = p->pVars->pData + p->pVars->iCur;
    p->pVars->iCur += sizeof(Tas_Var_t);
    memset( pVar, 0, sizeof(Tas_Var_t) );
    pVar->Id = pVar - ((Tas_Var_t *)p->pVars->pData);
    return pVar;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tas_ManObj2Var()

Tas_Var_t * Tas_ManObj2Var	(	Tas_Man_t *	p,
		Gia_Obj_t *	pObj )

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 189 of file giaCTas2.c.

{
    Tas_Var_t * pVar;
    assert( !Gia_ObjIsComplement(pObj) );
    if ( pObj->Value == 0 )
    {
        pVar = Tas_ManCreateVar( p );
        pVar->
 
    }
    return Tas_ManVar( p, pObj->Value );
}

Here is the call graph for this function: