/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
H A D | kitTruth.c | 249 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 D | dauDsd2.c | 50 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 D | dauDsd.c | 893 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 D | dauCanon.c | 295 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 D | dauCount.c | 347 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 D | kitTruth.c | 270 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 D | kitDsd.c | 187 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 D | kitCloud.c | 109 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 D | extraUtilTruth.c | 301 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 D | extraUtilMaj.c | 138 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 D | aigCanon.c | 50 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 D | lpkAbcUtil.c | 80 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 D | lpkMux.c | 45 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 D | lpkCore.c | 47 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 D | lpkCut.c | 48 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 D | lpkAbcDec.c | 48 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 D | satTruth.c | 53 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 D | giaBidec.c | 48 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 D | ifSat.c | 151 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 D | ifMatch2.c | 51 int Bat_ManCellFuncLookup( void * pMan, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) in Bat_ManCellFuncLookup()
|
H A D | ifTruth.c | 48 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 D | utilTruth.h | 195 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 D | abcMeasure.c | 46 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 D | abcExact.c | 78 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 D | abcRefactor.c | 84 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
|