Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- k -

• kCS_WITH_DISCOVER_MONOTONE_SIGNALS : kliveness.c
• kCS_WITH_SAFETY_AND_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_AND_USER_GIVEN_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_INVARIANTS : kliveness.c
• key : misc/espresso/main.h
• KEY_check : misc/espresso/main.h
• KEY_contain : misc/espresso/main.h
• KEY_d1merge : misc/espresso/main.h
• KEY_d1merge_in : misc/espresso/main.h
• KEY_disjoint : misc/espresso/main.h
• KEY_dsharp : misc/espresso/main.h
• KEY_echo : misc/espresso/main.h
• KEY_equiv : misc/espresso/main.h
• KEY_ESPRESSO : misc/espresso/main.h
• KEY_essen : misc/espresso/main.h
• KEY_exact : misc/espresso/main.h
• KEY_expand : misc/espresso/main.h
• KEY_fsm : misc/espresso/main.h
• KEY_gasp : misc/espresso/main.h
• KEY_intersect : misc/espresso/main.h
• KEY_irred : misc/espresso/main.h
• KEY_lexsort : misc/espresso/main.h
• KEY_make_sparse : misc/espresso/main.h
• KEY_MANY_ESPRESSO : misc/espresso/main.h
• KEY_map : misc/espresso/main.h
• KEY_mapdc : misc/espresso/main.h
• KEY_minterms : misc/espresso/main.h
• KEY_opo : misc/espresso/main.h
• KEY_opoall : misc/espresso/main.h
• KEY_pair : misc/espresso/main.h
• KEY_pairall : misc/espresso/main.h
• KEY_PLA_verify : misc/espresso/main.h
• KEY_primes : misc/espresso/main.h
• KEY_qm : misc/espresso/main.h
• KEY_reduce : misc/espresso/main.h
• KEY_separate : misc/espresso/main.h
• KEY_sharp : misc/espresso/main.h
• KEY_simplify : misc/espresso/main.h
• KEY_so : misc/espresso/main.h
• KEY_so_both : misc/espresso/main.h
• KEY_stats : misc/espresso/main.h
• KEY_super_gasp : misc/espresso/main.h
• KEY_taut : misc/espresso/main.h
• KEY_test : misc/espresso/main.h
• KEY_union : misc/espresso/main.h
• KEY_unknown : misc/espresso/main.h
• KEY_verify : misc/espresso/main.h
• KEY_xor : misc/espresso/main.h
• keys : misc/espresso/main.h
• Kf_ManPerformMapping() : giaKf.c
• Kf_ManSetDefaultPars() : giaKf.c
• kiss : espresso.h , globals.c
• kiss_output() : cvrout.c , espresso.h
• kiss_print_cube() : cvrout.c , espresso.h
• KISS_type : 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_CubeForEachLiteral : 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_DSD_AND : kit.h
• KIT_DSD_CONST1 : kit.h
• KIT_DSD_NONE : kit.h
• KIT_DSD_PRIME : kit.h
• Kit_Dsd_t : kit.h
• KIT_DSD_VAR : kit.h
• KIT_DSD_XOR : kit.h
• 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_DsdMan_t : kit.h
• Kit_DsdManAlloc() : kitDsd.c , kit.h
• 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_DsdNtk_t : kit.h
• Kit_DsdNtkAlloc() : kitDsd.c
• Kit_DsdNtkForEachObj : kit.h
• Kit_DsdNtkFree() : kit.h , kitDsd.c
• Kit_DsdNtkObj() : kit.h
• Kit_DsdNtkObjNum() : kit.h
• Kit_DsdNtkRoot() : kit.h
• Kit_DsdObj_t : kit.h
• Kit_DsdObjAlloc() : kitDsd.c
• Kit_DsdObjForEachFanin : kit.h
• Kit_DsdObjForEachFaninReverse : kit.h
• 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_Edge_t : kit.h
• Kit_EdgeCreate() : kit.h
• Kit_EdgeToInt() : kit.h
• Kit_EdgeToInt_() : kit.h
• KIT_FACTOR_MEM_LIMIT : kitFactor.c
• Kit_FactorTest() : kitFactor.c
• Kit_Graph_t : kit.h
• 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_GraphForEachLeaf : kit.h
• Kit_GraphForEachNode : kit.h
• 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_INFINITY : kit.h
• Kit_Int2Mux() : kitCloud.c
• Kit_IntToEdge() : kit.h
• Kit_IntToEdge_() : kit.h
• KIT_ISOP_MEM_LIMIT : kitIsop.c
• Kit_ManDec_t : kitDec.c
• Kit_ManDecStart() : kitDec.c
• Kit_ManDecStop() : kitDec.c
• KIT_MAX : kit.h
• KIT_MIN : kit.h
• Kit_Mux2Int() : kitCloud.c
• Kit_Mux_t : kitCloud.c
• Kit_Node_t : kit.h
• 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_PlaCubeForEachVar : kit.h
• Kit_PlaForEachCube : kit.h
• Kit_PlaFromIsop() : kitPla.c
• Kit_PlaFromTruth() : kit.h , kitPla.c
• Kit_PlaFromTruthNew() : kit.h , kitPla.c
• Kit_PlaGetCubeNum() : kit.h , kitPla.c
• Kit_PlaGetVarNum() : kitPla.c , kit.h
• Kit_PlaIsBuf() : kit.h , kitPla.c
• Kit_PlaIsComplement() : kitPla.c , kit.h
• Kit_PlaIsConst0() : kit.h , kitPla.c
• Kit_PlaIsConst1() : kitPla.c , kit.h
• Kit_PlaIsInv() : kit.h , kitPla.c
• Kit_PlaStart() : kit.h , kitPla.c
• Kit_PlaStoreSop() : kit.h , kitPla.c
• Kit_PlaToIsop() : kitPla.c , kit.h
• Kit_PlaToTruth() : kit.h , kitPla.c
• Kit_PlaToTruth6() : kitPla.c , kit.h
• Kit_PrintHexadecimal() : kitTruth.c
• Kit_Sop_t : kit.h
• 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() : kit.h , kitSop.c
• 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() : kit.h , kitFactor.c
• 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() : kitBdd.c , kitFactor.c
• Kit_SopForEachCube : kit.h
• Kit_SopIsCubeFree() : kit.h , kitSop.c
• Kit_SopMakeCubeFree() : kitSop.c , kit.h
• 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() : kit.h , kitCloud.c
• 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() : kit.h , kitTruth.c
• 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() : kit.h , kitTruth.c
• Kit_TruthForallSet() : kitTruth.c , kit.h
• 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() : kit.h , kitIsop.c
• Kit_TruthIsopPrintCover() : kitIsop.c , kit.h
• Kit_TruthIthVar() : kit.h
• Kit_TruthMinCofSuppOverlap() : kit.h , kitTruth.c
• Kit_TruthMux() : kit.h
• Kit_TruthMuxPhase() : kit.h
• Kit_TruthMuxVar() : kitTruth.c , kit.h
• 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() : luckySwap.c , luckyInt.h
• Kit_TruthSetBit() : kit.h
• Kit_TruthSharp() : kit.h
• Kit_TruthShrink() : kit.h , kitTruth.c
• Kit_TruthStretch() : kitTruth.c , kit.h
• 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() : kit.h , kitCloud.c
• Kit_TruthToCloud5_rec() : kitCloud.c
• Kit_TruthToCloud_rec() : kitCloud.c
• Kit_TruthToGia() : giaLf.c , dauGia.c , giaMf.c , kitHop.c , giaIf.c , giaJf.c , ifDsd.c
• Kit_TruthToGraph() : kit.h , kitGraph.c
• Kit_TruthToHop() : kitHop.c
• Kit_TruthUniqueNew() : kitTruth.c , kit.h
• Kit_TruthVarInSupport() : kitTruth.c , kit.h
• Kit_TruthVarIsVacuous() : kit.h , kitTruth.c
• Kit_TruthVarsAntiSymm() : kit.h , kitTruth.c
• Kit_TruthVarsSymm() : kit.h , kitTruth.c
• Kit_TruthWordNum() : kit.h
• Kit_TruthWordNum_64bit() : luckySwap.c , luckyInt.h
• 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