abc70930: Data Fields

- k -

kiss_output() : cvrout.c , espresso.h
kiss_print_cube() : espresso.h , cvrout.c
Kit_BitMask() : kit.h
Kit_BitWordNum() : kit.h
Kit_CloudToTruth() : kitCloud.c , kit.h
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_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() : kitDsd.c , kit.h
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_DsdManAlloc() : kit.h , kitDsd.c
Kit_DsdManFree() : kit.h , kitDsd.c
Kit_DsdNonDsdSizeMax() : kit.h , kitDsd.c
Kit_DsdNonDsdSupports() : kit.h , 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_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_EdgeCreate() : kit.h
Kit_EdgeToInt() : kit.h
Kit_EdgeToInt_() : kit.h
Kit_FactorTest() : kitFactor.c
Kit_Float2Int() : 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_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_Int2Float() : kit.h
Kit_IntToEdge() : kit.h
Kit_IntToEdge_() : kit.h
Kit_PrintHexadecimal() : kitTruth.c
Kit_SopAnyLiteral() : kit.h , kitSop.c
Kit_SopBestLiteral() : kitSop.c
Kit_SopBestLiteralCover() : kit.h , kitSop.c
Kit_SopCommonCube() : kitSop.c
Kit_SopCommonCubeCover() : kitSop.c , kit.h
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() : kitSop.c , kit.h
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_SopIsCubeFree() : kitSop.c , kit.h
Kit_SopMakeCubeFree() : kit.h , kitSop.c
Kit_SopPushCube() : kit.h
Kit_SopShrink() : kit.h
Kit_SopToBdd() : kit.h , kitBdd.c
Kit_SopWorstLiteral() : kitSop.c
Kit_SopWriteCube() : kit.h
Kit_TruthAnd() : kit.h
Kit_TruthAndPhase() : kit.h
Kit_TruthBestCofVar() : kit.h , kitTruth.c
Kit_TruthChangePhase() : kit.h , kitTruth.c
Kit_TruthClear() : kit.h
Kit_TruthCofactor0() : kit.h , kitTruth.c
Kit_TruthCofactor0New() : kit.h , kitTruth.c
Kit_TruthCofactor1() : kit.h , kitTruth.c
Kit_TruthCofactor1New() : kitTruth.c , kit.h
Kit_TruthCofSupports() : kitCloud.c , kit.h
Kit_TruthCompose() : kitCloud.c , kit.h
Kit_TruthCopy() : kit.h
Kit_TruthCountMinterms() : kitTruth.c
Kit_TruthCountMintermsPrecomp() : kitTruth.c
Kit_TruthCountOnes() : kit.h
Kit_TruthCountOnesInCofs() : kitTruth.c , kit.h
Kit_TruthCountOnesInCofsSlow() : kit.h , kitTruth.c
Kit_TruthDumpToFile() : kit.h , kitTruth.c
Kit_TruthExist() : kitTruth.c , kit.h
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() : kit.h , kitTruth.c
Kit_TruthForallNew() : kitTruth.c , kit.h
Kit_TruthForallSet() : kitTruth.c , kit.h
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() : kitTruth.c , kit.h
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() : kit.h , kitTruth.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() : kit.h , kitTruth.c
Kit_TruthSwapAdjacentVars2() : kitTruth.c
Kit_TruthToAig() : kitAig.c
Kit_TruthToBdd() : kit.h , kitBdd.c
Kit_TruthToBdd_rec() : kitBdd.c
Kit_TruthToCloud() : kit.h , kitCloud.c
Kit_TruthToCloud5_rec() : kitCloud.c
Kit_TruthToCloud_rec() : kitCloud.c
Kit_TruthToGraph() : kitGraph.c , kit.h
Kit_TruthToHop() : kitHop.c
Kit_TruthUniqueNew() : kit.h , kitTruth.c
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