Home
last modified time | relevance | path

Searched defs:pTruth (Results 1 – 25 of 127) sorted by relevance

123456

/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/
H A DkitTruth.c249 int Kit_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthVarInSupport()
306 int Kit_TruthSupportSize( unsigned * pTruth, int nVars ) in Kit_TruthSupportSize()
325 unsigned Kit_TruthSupport( unsigned * pTruth, int nVars ) in Kit_TruthSupport()
347 void Kit_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0()
398 void Kit_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor1()
554 void Kit_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthExist()
683 void Kit_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthForall()
986 int Kit_TruthVarsSymm( unsigned * pTruth, int nVars, int iVar0, int iVar1 ) in Kit_TruthVarsSymm()
1040 void Kit_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthChangePhase()
1096 int Kit_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin ) in Kit_TruthMinCofSuppOverlap()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauDsd2.c50 word pTruth[DSD_MAX_WRD]; // original/current truth table member
135 void Dua_DsdInit( Dua_Dsd_t * pRes, word * pTruth, int nVars ) in Dua_DsdInit()
162 int Dua_DsdTryConst( word * pTruth, int nVars ) in Dua_DsdTryConst()
169 int Dua_DsdTryVar( word * pTruth, int nWords, int iVar ) in Dua_DsdTryVar()
223 int Dua_DsdCheckCof0Const0( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckCof0Const0()
246 int Dua_DsdCheckCofsEqualNot( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckCofsEqualNot()
305 int Dua_DsdTrySwap( word * pTruth, int nWords, int iVar ) in Dua_DsdTrySwap()
368 int Dua_DsdCheckDecomp( word * pTruth, int nWords, int iVar ) in Dua_DsdCheckDecomp()
563 int Dua_DsdRangeVars0( word * pTruth, int nVars, int iVar, int fPerform ) in Dua_DsdRangeVars0()
598 void Dua_DsdRangeVars0Derive( word * pTruth, int nVars, int iVar ) in Dua_DsdRangeVars0Derive()
[all …]
H A DdauDsd.c893 int Dau_DsdCheck1Step( void * p, word * pTruth, int nVarsInit, int * pVarLevels ) in Dau_DsdCheck1Step()
1191 int Dau_Dsd6DecomposeSingleVar( Dau_Dsd_t * p, word * pTruth, int * pVars, int nVars ) in Dau_Dsd6DecomposeSingleVar()
1461 int Dau_Dsd6DecomposeInternal( Dau_Dsd_t * p, word * pTruth, int * pVars, int nVars ) in Dau_Dsd6DecomposeInternal()
1550 int Dau_DsdDecomposeSingleVar( Dau_Dsd_t * p, word * pTruth, int * pVars, int nVars ) in Dau_DsdDecomposeSingleVar()
1854 int Dau_DsdDecomposeInternal( Dau_Dsd_t * p, word * pTruth, int * pVars, int nVars ) in Dau_DsdDecomposeInternal()
1883 int Dau_DsdMinBase( word * pTruth, int nVars, int * pVarsNew ) in Dau_DsdMinBase()
1897 int Dau_DsdDecomposeInt( Dau_Dsd_t * p, word * pTruth, int nVarsInit ) in Dau_DsdDecomposeInt()
1960 void Dau_DsdPrintFromTruthFile( FILE * pFile, word * pTruth, int nVarsInit ) in Dau_DsdPrintFromTruthFile()
1968 void Dau_DsdPrintFromTruth( word * pTruth, int nVarsInit ) in Dau_DsdPrintFromTruth()
2010 word * pTruth = Dau_DsdToTruth( pStr, 9 ); in Dau_DsdTest888() local
[all …]
H A DdauCanon.c295 void Abc_TtNormalizeSmallTruth(word * pTruth, int nVars) in Abc_TtNormalizeSmallTruth()
305 static inline void Abc_TtVerifySmallTruth(word * pTruth, int nVars) in Abc_TtVerifySmallTruth()
316 static inline int Abc_TtCountOnesInTruth( word * pTruth, int nVars ) in Abc_TtCountOnesInTruth()
388 int Abc_TtScc(word * pTruth, int nVars) in Abc_TtScc()
560 int Abc_TtCountOnesInCofsFast( word * pTruth, int nVars, int * pStore ) in Abc_TtCountOnesInCofsFast()
705 void Abc_TtCofactorTest10( word * pTruth, int nVars, int N ) in Abc_TtCofactorTest10()
735 int Abc_Tt6CofactorPermNaive( word * pTruth, int i, int fSwapOnly ) in Abc_Tt6CofactorPermNaive()
1182 unsigned Abc_TtCanonicizePhase( word * pTruth, int nVars ) in Abc_TtCanonicizePhase()
1318 word * pTruth = pTruthInit; in Abc_TtCanonicizeHie() local
1469 word *pTruth; member
[all …]
H A DdauCount.c347 int Abc_TtCountOnesInCofsQuick_rec( word * pTruth, int nVars, int * pStore ) in Abc_TtCountOnesInCofsQuick_rec()
376 int Abc_TtCountOnesInCofsQuick( word * pTruth, int nVars, int * pStore ) in Abc_TtCountOnesInCofsQuick()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitTruth.c270 int Kit_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthVarInSupport()
327 int Kit_TruthSupportSize( unsigned * pTruth, int nVars ) in Kit_TruthSupportSize()
346 unsigned Kit_TruthSupport( unsigned * pTruth, int nVars ) in Kit_TruthSupport()
368 void Kit_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0()
419 int Kit_TruthCofactor0Count( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor0Count()
470 void Kit_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthCofactor1()
684 void Kit_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthExist()
813 void Kit_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthForall()
1259 void Kit_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthChangePhase()
2029 void Kit_TruthPrintProfile_int( unsigned * pTruth, int nVars ) in Kit_TruthPrintProfile_int()
[all …]
H A DkitDsd.c187 void Kit_DsdPrintHex( FILE * pFile, unsigned * pTruth, int nFans ) in Kit_DsdPrintHex()
212 char * Kit_DsdWriteHex( char * pBuff, unsigned * pTruth, int nFans ) in Kit_DsdWriteHex()
491 void Kit_DsdPrintFromTruth( unsigned * pTruth, int nVars ) in Kit_DsdPrintFromTruth()
1072 unsigned * pTruth; in Kit_DsdTruth() local
1352 unsigned * pTruth, * pTruthNew; in Kit_DsdExpandNode_rec() local
1548 unsigned * pTruth, * pTruthNew; in Kit_DsdShrink_rec() local
1975 unsigned * pTruth = Kit_DsdObjTruth(pObj); in Kit_DsdDecompose_rec() local
2315 Kit_DsdNtk_t * Kit_DsdDecompose( unsigned * pTruth, int nVars ) in Kit_DsdDecompose()
2393 unsigned i, * pTruth; in Kit_DsdTestCofs() local
2457 int Kit_DsdEval( unsigned * pTruth, int nVars, int nLutSize ) in Kit_DsdEval()
[all …]
H A DkitCloud.c109 CloudNode * Kit_TruthToCloud_rec( CloudManager * dd, unsigned * pTruth, int nVars, int nVarsAll ) in Kit_TruthToCloud_rec()
148 CloudNode * Kit_TruthToCloud( CloudManager * dd, unsigned * pTruth, int nVars ) in Kit_TruthToCloud()
209 int Kit_CreateCloudFromTruth( CloudManager * dd, unsigned * pTruth, int nVars, Vec_Int_t * vNodes ) in Kit_CreateCloudFromTruth()
263 unsigned * Kit_TruthCompose( CloudManager * dd, unsigned * pTruth, int nVars, in Kit_TruthCompose()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilTruth.c301 int Extra_TruthVarInSupport( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthVarInSupport()
358 int Extra_TruthSupportSize( unsigned * pTruth, int nVars ) in Extra_TruthSupportSize()
377 int Extra_TruthSupport( unsigned * pTruth, int nVars ) in Extra_TruthSupport()
399 void Extra_TruthCofactor1( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthCofactor1()
450 void Extra_TruthCofactor0( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthCofactor0()
502 void Extra_TruthExist( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthExist()
556 void Extra_TruthForall( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthForall()
665 int Extra_TruthVarsSymm( unsigned * pTruth, int nVars, int iVar0, int iVar1 ) in Extra_TruthVarsSymm()
719 void Extra_TruthChangePhase( unsigned * pTruth, int nVars, int iVar ) in Extra_TruthChangePhase()
775 int Extra_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin ) in Extra_TruthMinCofSuppOverlap()
[all …]
H A DextraUtilMaj.c138 int Gem_GroupsDerive( word * pTruth, int nVars, word * pCof0, word * pCof1 ) in Gem_GroupsDerive()
188 int Gem_FuncFindPlace( word * pTruth, int nWords, int Groups, word * pBest, int fOneVar ) in Gem_FuncFindPlace()
217 word * pTruth = Vec_MemReadEntry( p->vTtMem, f ); in Gem_FuncExpand() local
269 word * pTruth = Vec_MemReadEntry( p->vTtMem, f ); in Gem_FuncCheckMajority() local
290 word * pTruth = Vec_MemReadEntry( p->vTtMem, f ); in Gem_FuncReduce() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigCanon.c50 unsigned pTruth[0]; member
67 unsigned pTruth[RMAX_MAXWORD]; // current truth table member
130 static inline int Aig_RManTableHash( unsigned * pTruth, int nVars, int nBins, int * pPrimes ) in Aig_RManTableHash()
150 Aig_Tru_t ** Aig_RManTableLookup( Aig_RMan_t * p, unsigned * pTruth, int nVars ) in Aig_RManTableLookup()
218 int Aig_RManTableFindOrAdd( Aig_RMan_t * p, unsigned * pTruth, int nVars ) in Aig_RManTableFindOrAdd()
308 void Aig_RManPrintVarProfile( unsigned * pTruth, int nVars, unsigned * pTruthAux ) in Aig_RManPrintVarProfile()
382 void Aig_RManComputeVSigs( unsigned * pTruth, int nVars, Aig_VSig_t * pSigs, unsigned * pAux ) in Aig_RManComputeVSigs()
558 void Aig_RManSaveOne( Aig_RMan_t * p, unsigned * pTruth, int nVars ) in Aig_RManSaveOne()
598 void Aig_RManRecord( unsigned * pTruth, int nVarsInit ) in Aig_RManRecord()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkAbcUtil.c80 Lpk_Fun_t * Lpk_FunCreate( Abc_Ntk_t * pNtk, Vec_Ptr_t * vLeaves, unsigned * pTruth, int nLutK, int… in Lpk_FunCreate()
114 Lpk_Fun_t * Lpk_FunDup( Lpk_Fun_t * p, unsigned * pTruth ) in Lpk_FunDup()
188 unsigned * pTruth = Lpk_FunTruth( p, 0 ); in Lpk_FunComputeCofSupps() local
H A DlpkMux.c45 int Lpk_MapTreeBestCofVar( Lpk_Man_t * p, unsigned * pTruth, int nVars, unsigned * pCof0, unsigned … in Lpk_MapTreeBestCofVar()
89 If_Obj_t * Lpk_MapTreeMux_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapTreeMux_rec()
133 If_Obj_t * Lpk_MapSuppRedDec_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves… in Lpk_MapSuppRedDec_rec()
257 void Lpk_TryDec( word * pTruth, int nVars ) in Lpk_TryDec()
H A DlpkCore.c47 Abc_Ntk_t * Abc_NtkDecFromTruth( word * pTruth, int nVars, int nLutSize ) in Abc_NtkDecFromTruth()
67 Abc_Obj_t * Abc_NtkLutMinDecompose( Abc_Ntk_t * pNtk, Vec_Ptr_t * vLeaves, word * pTruth, int nLutS… in Abc_NtkLutMinDecompose()
320 unsigned * pTruth; in Lpk_ResynthesizeNode() local
419 void Lpk_ComputeSupports( Lpk_Man_t * p, Lpk_Cut_t * pCut, unsigned * pTruth ) in Lpk_ComputeSupports()
449 unsigned * pTruth; in Lpk_ResynthesizeNodeNew() local
H A DlpkCut.c48 CloudNode * pTruth, * pTruth0, * pTruth1; in Lpk_CutTruthBdd_rec() local
90 CloudNode * pTruth = NULL; // Suppress "might be used uninitialized" in Lpk_CutTruthBdd() local
140 unsigned * pTruth, * pTruth0, * pTruth1; in Lpk_CutTruth_rec() local
181 unsigned * pTruth = NULL; // Suppress "might be used uninitialized" in Lpk_CutTruth() local
H A DlpkAbcDec.c48 unsigned * pTruth; in Lpk_ImplementFun() local
258 Abc_Obj_t * Lpk_Decompose( Lpk_Man_t * p, Abc_Ntk_t * pNtk, Vec_Ptr_t * vLeaves, unsigned * pTruth,… in Lpk_Decompose()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatTruth.c53 word pTruth[0]; // truth table member
73 static inline unsigned Tru_ManHash( word * pTruth, int nWords, int nBins, int * pPrimes ) in Tru_ManHash()
93 int * Tru_ManLookup( Tru_Man_t * p, word * pTruth ) in Tru_ManLookup()
158 int Tru_ManInsert( Tru_Man_t * p, word * pTruth ) in Tru_ManInsert()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaBidec.c48 unsigned * pTruth, * pTruth0, * pTruth1; in Gia_ManConvertAigToTruth_rec() local
104 unsigned * pTruth;//, * pTruth2; in Gia_ManConvertAigToTruth() local
170 unsigned * pTruth; in Gia_ObjPerformBidec() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifSat.c151 int If_ManSatCheckXY( void * pSat, int nLutSize, word * pTruth, int nVars, unsigned uSet, word * pT… in If_ManSatCheckXY()
263 unsigned If_ManSatCheckXYall_int( void * pSat, int nLutSize, word * pTruth, int nVars, Vec_Int_t * … in If_ManSatCheckXYall_int()
477 unsigned If_ManSatCheckXYall( void * pSat, int nLutSize, word * pTruth, int nVars, Vec_Int_t * vLit… in If_ManSatCheckXYall()
503 word * pTruth = Dau_DsdToTruth( pDsd, nVars ); in If_ManSatTest2() local
530 word * pTruth = Dau_DsdToTruth( pDsd, nVars ); in If_ManSatTest3() local
H A DifMatch2.c51 int Bat_ManCellFuncLookup( void * pMan, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) in Bat_ManCellFuncLookup()
H A DifTruth.c48 void If_CutTruthPermute( word * pTruth, int nLeaves, int nVars, int nWords, float * pDelays, int * … in If_CutTruthPermute()
105 word * pTruth = (word *)p->puTemp[2]; in If_CutComputeTruth() local
173 word * pTruth = (word *)p->puTemp[2]; in If_CutComputeTruthPerm_int() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/
H A DutilTruth.h195 static inline void Abc_TtMask( word * pTruth, int nWords, int nBits ) in Abc_TtMask()
655 word * pTruth = pTtElems + i * nWords; in Abc_TtElemInit2() local
1085 static inline void Abc_TtPrintHex( word * pTruth, int nVars ) in Abc_TtPrintHex()
1105 static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars ) in Abc_TtPrintHexSpecial()
1144 static inline int Abc_TtReadHex( word * pTruth, char * pString ) in Abc_TtReadHex()
1213 static inline void Abc_TtPrintBinary( word * pTruth, int nVars ) in Abc_TtPrintBinary()
1974 static inline void Abc_TtReverseVars( word * pTruth, int nVars ) in Abc_TtReverseVars()
1980 static inline void Abc_TtReverseBits( word * pTruth, int nVars ) in Abc_TtReverseBits()
2917 static inline void Abc_TtPrintBiDec( word * pTruth, int nVars ) in Abc_TtPrintBiDec()
3294 word pTruth[4]; // 8-var function in Abc_TtTestFullySymmetric() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMeasure.c46 void Abc_NtkPrintMeasures( unsigned * pTruth, int nVars ) in Abc_NtkPrintMeasures()
388 void Abc_NtkPrintOneDecomp( unsigned * pTruth, int nVars ) in Abc_NtkPrintOneDecomp()
430 void Abc_NtkPrintOneDec( unsigned * pTruth, int nVars ) in Abc_NtkPrintOneDec()
H A DabcExact.c78 static int Abc_TtCofsOppositeWithMask( word * pTruth, word * pMask, int nWords, int iVar ) in Abc_TtCofsOppositeWithMask()
102 static int Abc_TtIsTopDecomposable( word * pTruth, word * pMask, int nWords, int iVar ) in Abc_TtIsTopDecomposable()
305 word pTruth[4]; /* truth table for comparison */ member
432 static inline int Ses_StoreTableHash( word * pTruth, int nVars ) in Ses_StoreTableHash()
823 word pTruth[4]; in Ses_StoreRead() local
1027 word * pTruth = NULL, * pTruth0, * pTruth1; in Ses_ManDeriveTruth() local
2242 word pTruth[4]; in Ses_ManFindNetworkExactCEGAR() local
2494 Abc_Ntk_t * Abc_NtkFromTruthTable( word * pTruth, int nVars ) in Abc_NtkFromTruthTable()
2513 word pTruth[4] = {0xcafe, 0, 0, 0}; in Abc_ExactTestSingleOutput() local
2549 word pTruth[4] = {0xcafe, 0, 0, 0}; in Abc_ExactTestSingleOutputAIG() local
[all …]
H A DabcRefactor.c84 word * pTruth0, * pTruth1, * pTruth = NULL; in Abc_NodeConeTruth() local
123 int Abc_NodeConeIsConst0( word * pTruth, int nVars ) in Abc_NodeConeIsConst0()
131 int Abc_NodeConeIsConst1( word * pTruth, int nVars ) in Abc_NodeConeIsConst1()
160 word * pTruth; in Abc_NodeRefactor() local

123456