ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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_tsetTtStore (char *pFileInput)
 

Function Documentation

◆ Abc_TruthStoreFree()

void Abc_TruthStoreFree ( Abc_TtStore_t * p)

Definition at line 115 of file luckyRead.c.

116{
117 free( p->pFuncs[0] );
118 free( p->pFuncs );
119 free( p );
120}
Cube * p
Definition exorList.c:222
VOID_HACK free()
Here is the call graph for this function:

◆ setTtStore()

Abc_TtStore_t * setTtStore ( char * pFileInput)

Definition at line 319 of file luckyRead.c.

320{
321 int nVars, nTruths;
323 // figure out how many truth table and how many variables
324 Abc_TruthGetParams( pFileInput, &nVars, &nTruths );
325 // allocate data-structure
326 p = Abc_TruthStoreAlloc( nVars, nTruths );
327
328 Abc_TruthStoreRead( pFileInput, p );
329 return p;
330}
void Abc_TruthStoreRead(char *pFileName, Abc_TtStore_t *p)
Definition abcDec.c:321
void Abc_TruthGetParams(char *pFileName, int *pnVars, int *pnTruths)
Definition abcDec.c:263
Abc_TtStore_t * Abc_TruthStoreAlloc(int nVars, int nFuncs)
Definition abcDec.c:141
Here is the call graph for this function: