ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mpmTruth.c File Reference
#include "mpmInt.h"
Include dependency graph for mpmTruth.c:

Go to the source code of this file.

Functions

int Mpm_CutComputeTruth (Mpm_Man_t *p, Mpm_Cut_t *pCut, Mpm_Cut_t *pCut0, Mpm_Cut_t *pCut1, Mpm_Cut_t *pCutC, int fCompl0, int fCompl1, int fComplC, int Type)
 

Function Documentation

◆ Mpm_CutComputeTruth()

int Mpm_CutComputeTruth ( Mpm_Man_t * p,
Mpm_Cut_t * pCut,
Mpm_Cut_t * pCut0,
Mpm_Cut_t * pCut1,
Mpm_Cut_t * pCutC,
int fCompl0,
int fCompl1,
int fComplC,
int Type )

Definition at line 215 of file mpmTruth.c.

216{
217 int RetValue;
218 if ( p->nLutSize <= 6 )
219 RetValue = Mpm_CutComputeTruth6( p, pCut, pCut0, pCut1, pCutC, fCompl0, fCompl1, fComplC, Type );
220 else
221 RetValue = Mpm_CutComputeTruth7( p, pCut, pCut0, pCut1, pCutC, fCompl0, fCompl1, fComplC, Type );
222#ifdef MPM_TRY_NEW
223 {
224 extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm );
225 char pCanonPerm[16];
226 memcpy( p->Truth0, p->Truth, sizeof(word) * p->nTruWords );
227 Abc_TtCanonicize( p->Truth0, pCut->nLimit, pCanonPerm );
228 }
229#endif
230 return RetValue;
231}
unsigned Abc_TtCanonicize(word *pTruth, int nVars, char *pCanonPerm)
FUNCTION DECLARATIONS ///.
Definition dauCanon.c:1036
Cube * p
Definition exorList.c:222
unsigned __int64 word
DECLARATIONS ///.
Definition kitPerm.c:36
char * memcpy()
Here is the call graph for this function: