- k -

• Kf_ManPerformMapping() : giaKf.c
• Kf_ManSetDefaultPars() : giaKf.c
• kiss_output() : espresso.h , cvrout.c
• kiss_print_cube() : cvrout.c , espresso.h
• Kit_BitMask() : kit.h
• Kit_BitWordNum() : kit.h
• Kit_CloudToTruth() : kit.h , kitCloud.c
• Kit_CoverToHop() : kitHop.c
• Kit_CreateCloud() : kit.h , kitCloud.c
• Kit_CreateCloudFromTruth() : kit.h , kitCloud.c
• Kit_CubeContains() : kit.h
• Kit_CubeHasLit() : kit.h
• Kit_CubeIsMarked() : kit.h
• Kit_CubeMark() : kit.h
• Kit_CubeMask() : kit.h
• Kit_CubeRemLit() : kit.h
• Kit_CubeSetLit() : kit.h
• Kit_CubeSharp() : kit.h
• Kit_CubeUnmark() : kit.h
• Kit_CubeXorLit() : kit.h
• Kit_DecComputeOuputArrival() : kitDec.c
• Kit_DecComputePattern() : kitDec.c
• Kit_DecComputeShared() : kitDec.c
• Kit_DecComputeShared_rec() : kitDec.c
• Kit_DecComputeTruth() : kitDec.c
• Kit_DecComputeTruthOne() : kitDec.c
• Kit_DecOuputArrival() : kitDec.c
• Kit_DsdCheckVar4Dec2() : kitDsd.c
• Kit_DsdCofactoring() : kit.h , kitDsd.c
• Kit_DsdCofactoringGetVars() : kitDsd.c
• Kit_DsdCompSort() : kitDsd.c
• Kit_DsdCountAigNodes() : kit.h , kitDsd.c
• Kit_DsdCountAigNodes2() : kitDsd.c
• Kit_DsdCountAigNodes_rec() : kitDsd.c
• Kit_DsdCountLuts() : kitDsd.c
• Kit_DsdCountLuts_rec() : kitDsd.c
• Kit_DsdDecompose() : kit.h , kitDsd.c
• Kit_DsdDecompose_rec() : kitDsd.c
• Kit_DsdDecomposeExpand() : kit.h , kitDsd.c
• Kit_DsdDecomposeInt() : kitDsd.c
• Kit_DsdDecomposeMux() : kit.h , kitDsd.c
• Kit_DsdDeriveNtk() : kit.h
• Kit_DsdEval() : kitDsd.c
• Kit_DsdExpand() : kit.h , kitDsd.c
• Kit_DsdExpandCollectAnd_rec() : kitDsd.c
• Kit_DsdExpandCollectXor_rec() : kitDsd.c
• Kit_DsdExpandNode_rec() : kitDsd.c
• Kit_DsdFindLargeBox() : kitDsd.c
• Kit_DsdFindLargeBox_rec() : kitDsd.c
• Kit_DsdGetSupports() : kit.h , kitDsd.c
• Kit_DsdGetSupports_rec() : kitDsd.c
• Kit_DsdLitIsLeaf() : kit.h
• Kit_DsdLitSupport() : kit.h
• Kit_DsdManAlloc() : kit.h , kitDsd.c
• Kit_DsdManFree() : kit.h , kitDsd.c
• Kit_DsdNonDsdPrimeMax() : kit.h , kitDsd.c
• Kit_DsdNonDsdSizeMax() : kit.h , kitDsd.c
• Kit_DsdNonDsdSupports() : kit.h , kitDsd.c
• Kit_DsdNpn4ClassNames() : kitDsd.c
• Kit_DsdNtkAlloc() : kitDsd.c
• Kit_DsdNtkFree() : kit.h , kitDsd.c
• Kit_DsdNtkObj() : kit.h
• Kit_DsdNtkObjNum() : kit.h
• Kit_DsdNtkRoot() : kit.h
• Kit_DsdObjAlloc() : kitDsd.c
• Kit_DsdObjFree() : kitDsd.c
• Kit_DsdObjOffset() : kit.h
• Kit_DsdObjTruth() : kit.h
• Kit_DsdPrecompute4Vars() : kitDsd.c
• Kit_DsdPrint() : kit.h , kitDsd.c
• Kit_DsdPrint2() : kitDsd.c
• Kit_DsdPrint2_rec() : kitDsd.c
• Kit_DsdPrint_rec() : kitDsd.c
• Kit_DsdPrintCofactors() : kitDsd.c
• Kit_DsdPrintExpanded() : kit.h , kitDsd.c
• Kit_DsdPrintFromTruth() : kit.h , kitDsd.c , amapInt.h , ifDec07.c , ifDec08.c , ifDec16.c , mpmInt.h , sfmInt.h
• Kit_DsdPrintFromTruth2() : kit.h , kitDsd.c
• Kit_DsdPrintHex() : kitDsd.c
• Kit_DsdRootNodeHasCommonVars() : kitDsd.c
• Kit_DsdRotate() : kit.h , kitDsd.c
• Kit_DsdShrink() : kit.h , kitDsd.c
• Kit_DsdShrink_rec() : kitDsd.c
• Kit_DsdTest() : kitDsd.c
• Kit_DsdTestCofs() : kitDsd.c
• Kit_DsdTruth() : kit.h , kitDsd.c
• Kit_DsdTruthCompute() : kit.h , kitDsd.c
• Kit_DsdTruthComputeNode_rec() : kitDsd.c
• Kit_DsdTruthComputeNodeOne_rec() : kitDsd.c
• Kit_DsdTruthComputeNodeTwo_rec() : kitDsd.c
• Kit_DsdTruthComputeOne() : kitDsd.c
• Kit_DsdTruthComputeTwo() : kitDsd.c
• Kit_DsdTruthPartial() : kit.h , kitDsd.c
• Kit_DsdTruthPartialTwo() : kit.h , kitDsd.c
• Kit_DsdVerify() : kit.h , kitDsd.c
• Kit_DsdWrite() : kitDsd.c
• Kit_DsdWrite_rec() : kitDsd.c
• Kit_DsdWriteFromTruth() : kit.h , kitDsd.c
• Kit_DsdWriteHex() : kitDsd.c
• Kit_EdgeCreate() : kit.h
• Kit_EdgeToInt() : kit.h
• Kit_EdgeToInt_() : kit.h
• Kit_FactorTest() : kitFactor.c
• Kit_GraphAddNodeAnd() : kit.h , kitGraph.c
• Kit_GraphAddNodeMux() : kit.h , kitGraph.c
• Kit_GraphAddNodeOr() : kit.h , kitGraph.c
• Kit_GraphAddNodeXor() : kit.h , kitGraph.c
• Kit_GraphAppendNode() : kit.h , kitGraph.c
• Kit_GraphComplement() : kit.h
• Kit_GraphCreate() : kit.h , kitGraph.c
• Kit_GraphCreateConst0() : kit.h , kitGraph.c
• Kit_GraphCreateConst1() : kit.h , kitGraph.c
• Kit_GraphCreateLeaf() : kit.h , kitGraph.c
• Kit_GraphFree() : kit.h , kitGraph.c
• Kit_GraphIsComplement() : kit.h
• Kit_GraphIsConst() : kit.h
• Kit_GraphIsConst0() : kit.h
• Kit_GraphIsConst1() : kit.h
• Kit_GraphIsVar() : kit.h
• Kit_GraphLeafDepth_rec() : kit.h , kitGraph.c
• Kit_GraphLeaveNum() : kit.h
• Kit_GraphNode() : kit.h
• Kit_GraphNodeFanin0() : kit.h
• Kit_GraphNodeFanin1() : kit.h
• Kit_GraphNodeInt() : kit.h
• Kit_GraphNodeIsVar() : kit.h
• Kit_GraphNodeLast() : kit.h
• Kit_GraphNodeNum() : kit.h
• Kit_GraphRootLevel() : kit.h
• Kit_GraphSetRoot() : kit.h
• Kit_GraphToAig() : kitAig.c
• Kit_GraphToAigInternal() : kitAig.c
• Kit_GraphToBdd() : kit.h , kitBdd.c
• Kit_GraphToGia() : kitHop.c
• Kit_GraphToGiaInternal() : kitHop.c
• Kit_GraphToHop() : kitHop.c , resCore.c
• Kit_GraphToHopInternal() : kitHop.c
• Kit_GraphToTruth() : kit.h , kitGraph.c
• Kit_GraphVar() : kit.h
• Kit_GraphVarInt() : kit.h
• Kit_Int2Mux() : kitCloud.c
• Kit_IntToEdge() : kit.h
• Kit_IntToEdge_() : kit.h
• Kit_ManDecStart() : kitDec.c
• Kit_ManDecStop() : kitDec.c
• Kit_Mux2Int() : kitCloud.c
• Kit_PermCompute() : kitPerm.c
• Kit_PermComputeNaive() : kitPerm.c
• Kit_PermComputeTest() : kitPerm.c
• Kit_PermComputeTest_() : kitPerm.c
• Kit_PermCreateP() : kitPerm.c
• Kit_PermCreateS() : kitPerm.c
• Kit_PermCycleMany() : kitPerm.c
• Kit_PermCycleOne() : kitPerm.c
• Kit_PlaComplement() : kit.h , kitPla.c
• Kit_PlaCreateFromIsop() : kit.h , kitPla.c
• Kit_PlaFromIsop() : kitPla.c
• Kit_PlaFromTruth() : kit.h , kitPla.c
• Kit_PlaFromTruthNew() : kit.h , kitPla.c
• Kit_PlaGetCubeNum() : kit.h , kitPla.c
• Kit_PlaGetVarNum() : kit.h , kitPla.c
• Kit_PlaIsBuf() : kit.h , kitPla.c
• Kit_PlaIsComplement() : kit.h , kitPla.c
• Kit_PlaIsConst0() : kit.h , kitPla.c
• Kit_PlaIsConst1() : kit.h , kitPla.c
• Kit_PlaIsInv() : kit.h , kitPla.c
• Kit_PlaStart() : kit.h , kitPla.c
• Kit_PlaStoreSop() : kit.h , kitPla.c
• Kit_PlaToIsop() : kit.h , kitPla.c
• Kit_PlaToTruth() : kit.h , kitPla.c
• Kit_PlaToTruth6() : kit.h , kitPla.c
• Kit_PrintHexadecimal() : kitTruth.c
• Kit_SopAnyLiteral() : kitSop.c , kit.h
• Kit_SopBestLiteral() : kitSop.c
• Kit_SopBestLiteralCover() : kit.h , kitSop.c
• Kit_SopCommonCube() : kitSop.c
• Kit_SopCommonCubeCover() : kit.h , kitSop.c
• Kit_SopCreate() : kitSop.c , kit.h
• Kit_SopCreateInverse() : kit.h , kitSop.c
• Kit_SopCube() : kit.h
• Kit_SopCubeNum() : kit.h
• Kit_SopDivideByCube() : kit.h , kitSop.c
• Kit_SopDivideByLiteralQuo() : kitSop.c , kit.h
• Kit_SopDivideInternal() : kit.h , kitSop.c
• Kit_SopDivisor() : kit.h , kitSop.c
• Kit_SopDivisorZeroKernel_rec() : kitSop.c
• Kit_SopDup() : kit.h , kitSop.c
• Kit_SopFactor() : kitFactor.c , kit.h
• Kit_SopFactor_rec() : kitFactor.c
• Kit_SopFactorLF_rec() : kitFactor.c
• Kit_SopFactorTrivial() : kitFactor.c
• Kit_SopFactorTrivial_rec() : kitFactor.c
• Kit_SopFactorTrivialCube() : kitFactor.c
• Kit_SopFactorTrivialCube_rec() : kitFactor.c
• Kit_SopFactorVerify() : kitFactor.c , kitBdd.c
• Kit_SopIsCubeFree() : kit.h , kitSop.c
• Kit_SopMakeCubeFree() : kit.h , kitSop.c
• Kit_SopPushCube() : kit.h
• Kit_SopShrink() : kit.h
• Kit_SopToBdd() : kitBdd.c , kit.h
• Kit_SopWorstLiteral() : kitSop.c
• Kit_SopWriteCube() : kit.h
• Kit_SuppIsMinBase() : kit.h
• Kit_TruthAnd() : kit.h
• Kit_TruthAndPhase() : kit.h
• Kit_TruthBestCofVar() : kit.h , kitTruth.c
• Kit_TruthBooleanDiffCount() : kitTruth.c
• Kit_TruthChangePhase() : kit.h , kitTruth.c
• Kit_TruthChangePhase_64bit() : luckyInt.h , luckySwap.c
• Kit_TruthClear() : kit.h
• Kit_TruthCofactor0() : kit.h , kitTruth.c
• Kit_TruthCofactor0Count() : kitTruth.c
• Kit_TruthCofactor0New() : kit.h , kitTruth.c
• Kit_TruthCofactor1() : kit.h , kitTruth.c
• Kit_TruthCofactor1New() : kit.h , kitTruth.c
• Kit_TruthCofSupports() : kit.h , kitCloud.c
• Kit_TruthCompose() : kitCloud.c , kit.h
• Kit_TruthCopy() : kit.h
• Kit_TruthCopy_64bit() : luckySwap.c , luckyInt.h
• Kit_TruthCountMinterms() : kitTruth.c
• Kit_TruthCountMintermsPrecomp() : kitTruth.c
• Kit_TruthCountOnes() : kit.h
• Kit_TruthCountOnes_64bit() : luckyInt.h , luckySwap.c
• Kit_TruthCountOnesInCofs() : kitTruth.c , kit.h
• Kit_TruthCountOnesInCofs0() : kit.h , kitTruth.c
• Kit_TruthCountOnesInCofs_64bit() : luckySwap.c
• Kit_TruthCountOnesInCofsSlow() : kit.h , kitTruth.c
• Kit_TruthDumpToFile() : kit.h , kitTruth.c
• Kit_TruthExist() : kit.h , kitTruth.c
• Kit_TruthExistNew() : kit.h , kitTruth.c
• Kit_TruthExistSet() : kit.h , kitTruth.c
• Kit_TruthFill() : kit.h
• Kit_TruthFindFirstBit() : kit.h
• Kit_TruthFindFirstZero() : kit.h
• Kit_TruthForall() : kitTruth.c , kit.h
• Kit_TruthForallNew() : kitTruth.c , kit.h
• Kit_TruthForallSet() : kit.h , kitTruth.c
• Kit_TruthHasBit() : kit.h
• Kit_TruthHash() : kit.h , kitTruth.c
• Kit_TruthIsConst0() : kit.h
• Kit_TruthIsConst1() : kit.h
• Kit_TruthIsDisjoint() : kit.h
• Kit_TruthIsDisjoint3() : kit.h
• Kit_TruthIsEqual() : kit.h
• Kit_TruthIsEqualWithCare() : kit.h
• Kit_TruthIsEqualWithPhase() : kit.h
• Kit_TruthIsImply() : kit.h
• Kit_TruthIsop() : kitIsop.c , kit.h
• Kit_TruthIsop5_rec() : kitIsop.c
• Kit_TruthIsop_rec() : kitIsop.c
• Kit_TruthIsOpposite() : kit.h
• Kit_TruthIsopPrint() : kitIsop.c , kit.h
• Kit_TruthIsopPrintCover() : kit.h , kitIsop.c
• Kit_TruthIthVar() : kit.h
• Kit_TruthMinCofSuppOverlap() : kit.h , kitTruth.c
• Kit_TruthMux() : kit.h
• Kit_TruthMuxPhase() : kit.h
• Kit_TruthMuxVar() : kit.h , kitTruth.c
• Kit_TruthMuxVarPhase() : kitTruth.c , kit.h
• Kit_TruthNand() : kit.h
• Kit_TruthNot() : kit.h
• Kit_TruthNot_64bit() : luckySwap.c , luckyInt.h
• Kit_TruthOr() : kit.h
• Kit_TruthOrPhase() : kit.h
• Kit_TruthPermute() : kitTruth.c , kit.h
• Kit_TruthPrintProfile() : kitTruth.c , kit.h
• Kit_TruthPrintProfile_int() : kitTruth.c
• Kit_TruthSemiCanonicize() : kitTruth.c , kit.h
• Kit_TruthSemiCanonicize_new() : lucky.c , lucky.h
• Kit_TruthSemiCanonicize_new_internal() : lucky.c
• Kit_TruthSemiCanonicize_Yasha() : luckySwap.c , luckyInt.h
• Kit_TruthSemiCanonicize_Yasha1() : luckySwap.c , luckyInt.h
• Kit_TruthSemiCanonicize_Yasha_simple() : luckyInt.h , luckySwap.c
• Kit_TruthSetBit() : kit.h
• Kit_TruthSharp() : kit.h
• Kit_TruthShrink() : kit.h , kitTruth.c
• Kit_TruthStretch() : kit.h , kitTruth.c
• Kit_TruthSupport() : kitTruth.c , kit.h
• Kit_TruthSupportSize() : kit.h , kitTruth.c
• Kit_TruthSwapAdjacentVars() : kitTruth.c , kit.h
• Kit_TruthSwapAdjacentVars2() : kitTruth.c
• Kit_TruthSwapAdjacentVars_64bit() : luckyInt.h , luckySwap.c
• Kit_TruthToAig() : kitAig.c
• Kit_TruthToBdd() : kitBdd.c , kit.h
• Kit_TruthToBdd_rec() : kitBdd.c
• Kit_TruthToCloud() : kitCloud.c , kit.h
• Kit_TruthToCloud5_rec() : kitCloud.c
• Kit_TruthToCloud_rec() : kitCloud.c
• Kit_TruthToGia() : dauGia.c , giaIf.c , ifDsd.c , giaLf.c , kitHop.c , giaMf.c , giaJf.c
• Kit_TruthToGraph() : kitGraph.c , kit.h
• Kit_TruthToHop() : kitHop.c
• Kit_TruthUniqueNew() : kitTruth.c , kit.h
• Kit_TruthVarInSupport() : kit.h , kitTruth.c
• Kit_TruthVarIsVacuous() : kitTruth.c , kit.h
• Kit_TruthVarsAntiSymm() : kit.h , kitTruth.c
• Kit_TruthVarsSymm() : kit.h , kitTruth.c
• Kit_TruthWordNum() : kit.h
• Kit_TruthWordNum_64bit() : luckyInt.h , luckySwap.c
• Kit_TruthXor() : kit.h
• Kit_TruthXorBit() : kit.h
• Kit_TruthXorCount() : kitTruth.c
• Kit_WordCountOnes() : kit.h
• Kit_WordCountOnes_64bit() : luckySwap.c
• Kit_WordFindFirstBit() : kit.h
• Kit_WordHasOneBit() : kit.h