luckyRead.c File Reference

#include "luckyInt.h"

Include dependency graph for luckyRead.c:

Go to the source code of this file.

Functions
void	Abc_TruthStoreFree (Abc_TtStore_t *p)
Abc_TtStore_t *	setTtStore (char *pFileInput)

Function Documentation

Abc_TruthStoreFree()

void Abc_TruthStoreFree

(

Abc_TtStore_t *

p

)

Definition at line 115 of file luckyRead.c.

{
    free( p->pFuncs[0] );
    free( p->pFuncs );
    free( p );
}

Here is the call graph for this function:

setTtStore()

Abc_TtStore_t * setTtStore

(

char *

pFileInput

)

Definition at line 319 of file luckyRead.c.

{
    int nVars, nTruths;
    Abc_TtStore_t * p;
    // figure out how many truth table and how many variables
    Abc_TruthGetParams( pFileInput, &nVars, &nTruths );
    // allocate data-structure
    p = Abc_TruthStoreAlloc( nVars, nTruths );
 
    Abc_TruthStoreRead( pFileInput, p );
    return p;
}

Here is the call graph for this function: