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

- k -

• key : main.h
• KEY_check : main.h
• KEY_contain : main.h
• KEY_d1merge : main.h
• KEY_d1merge_in : main.h
• KEY_disjoint : main.h
• KEY_dsharp : main.h
• KEY_echo : main.h
• KEY_equiv : main.h
• KEY_ESPRESSO : main.h
• KEY_essen : main.h
• KEY_exact : main.h
• KEY_expand : main.h
• KEY_fsm : main.h
• KEY_gasp : main.h
• KEY_intersect : main.h
• KEY_irred : main.h
• KEY_lexsort : main.h
• KEY_make_sparse : main.h
• KEY_MANY_ESPRESSO : main.h
• KEY_map : main.h
• KEY_mapdc : main.h
• KEY_minterms : main.h
• KEY_opo : main.h
• KEY_opoall : main.h
• KEY_pair : main.h
• KEY_pairall : main.h
• KEY_PLA_verify : main.h
• KEY_primes : main.h
• KEY_qm : main.h
• KEY_reduce : main.h
• KEY_separate : main.h
• KEY_sharp : main.h
• KEY_simplify : main.h
• KEY_so : main.h
• KEY_so_both : main.h
• KEY_stats : main.h
• KEY_super_gasp : main.h
• KEY_taut : main.h
• KEY_test : main.h
• KEY_union : main.h
• KEY_unknown : main.h
• KEY_verify : main.h
• KEY_xor : main.h
• keys : main.h
• 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_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_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_DsdLit2Var() : kit.h
• Kit_DsdLitIsCompl() : kit.h
• Kit_DsdLitIsLeaf() : kit.h
• Kit_DsdLitNot() : kit.h
• Kit_DsdLitNotCond() : kit.h
• Kit_DsdLitRegular() : kit.h
• Kit_DsdLitSupport() : kit.h
• Kit_DsdMan_t : kit.h
• Kit_DsdManAlloc() : kit.h , kitDsd.c
• Kit_DsdManFree() : kit.h , kitDsd.c
• Kit_DsdNonDsdSizeMax() : kit.h , kitDsd.c
• Kit_DsdNonDsdSupports() : kit.h , 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_DsdObjFree() : kitDsd.c
• Kit_DsdObjOffset() : kit.h
• Kit_DsdObjTruth() : kit.h
• Kit_DsdPrecompute4Vars() : kitDsd.c
• Kit_DsdPrint() : kit.h , kitDsd.c
• Kit_DsdPrint_rec() : kitDsd.c
• Kit_DsdPrintCofactors() : kitDsd.c
• Kit_DsdPrintExpanded() : kit.h , kitDsd.c
• Kit_DsdPrintFromTruth() : 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_DsdVar2Lit() : kit.h
• Kit_DsdVerify() : kit.h , 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_Float2Int() : kit.h
• 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_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_Int2Float() : kit.h
• Kit_IntToEdge() : kit.h
• Kit_IntToEdge_() : kit.h
• KIT_ISOP_MEM_LIMIT : kitIsop.c
• KIT_MAX : kit.h
• KIT_MIN : kit.h
• Kit_Mux_t : kitCloud.c
• Kit_Node_t : kit.h
• Kit_PrintHexadecimal() : kitTruth.c
• Kit_Sop_t : kit.h
• Kit_SopAnyLiteral() : kit.h , kitSop.c
• Kit_SopBestLiteral() : kitSop.c
• Kit_SopBestLiteralCover() : kit.h , kitSop.c
• Kit_SopCommonCube() : kitSop.c
• Kit_SopCommonCubeCover() : kit.h , kitSop.c
• Kit_SopCreate() : kit.h , kitSop.c
• Kit_SopCreateInverse() : kit.h , kitSop.c
• Kit_SopCube() : kit.h
• Kit_SopCubeNum() : kit.h
• Kit_SopDivideByCube() : kitSop.c , kit.h
• 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() : kitSop.c , kit.h
• 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_TruthAnd() : kit.h
• Kit_TruthAndPhase() : kit.h
• Kit_TruthBestCofVar() : kit.h , kitTruth.c
• Kit_TruthChangePhase() : kitTruth.c , kit.h
• Kit_TruthClear() : kit.h
• Kit_TruthCofactor0() : kitTruth.c , kit.h
• 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_TruthCountMinterms() : kitTruth.c
• Kit_TruthCountMintermsPrecomp() : kitTruth.c
• Kit_TruthCountOnes() : kit.h
• Kit_TruthCountOnesInCofs() : kit.h , kitTruth.c
• Kit_TruthCountOnesInCofsSlow() : kit.h , kitTruth.c
• Kit_TruthDumpToFile() : kit.h , kitTruth.c
• Kit_TruthExist() : kit.h , kitTruth.c
• Kit_TruthExistNew() : kitTruth.c , kit.h
• 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() : kitTruth.c , kit.h
• Kit_TruthIsConst0() : kit.h
• Kit_TruthIsConst1() : kit.h
• Kit_TruthIsDisjoint() : kit.h
• Kit_TruthIsDisjoint3() : kit.h
• Kit_TruthIsEqual() : 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_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_TruthOr() : kit.h
• Kit_TruthSemiCanonicize() : kitTruth.c , kit.h
• Kit_TruthSetBit() : kit.h
• Kit_TruthSharp() : kit.h
• Kit_TruthShrink() : kitTruth.c , kit.h
• 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_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_TruthToGraph() : kit.h , kitGraph.c
• Kit_TruthToHop() : kitHop.c
• Kit_TruthUniqueNew() : kitTruth.c , kit.h
• Kit_TruthVarInSupport() : kitTruth.c , kit.h
• Kit_TruthVarsAntiSymm() : kitTruth.c
• Kit_TruthVarsSymm() : kitTruth.c
• Kit_TruthWordNum() : kit.h
• Kit_TruthXor() : kit.h
• Kit_TruthXorBit() : kit.h
• Kit_WordCountOnes() : kit.h
• Kit_WordFindFirstBit() : kit.h
• Kit_WordHasOneBit() : kit.h