Here is a list of all functions with links to the files they belong to:

- l -

• label_index() : cvrin.c, espresso.h
• last_gasp() : espresso.h, gasp.c
• Lcr_ManAlloc() : fraLcr.c
• Lcr_ManFree() : fraLcr.c
• Lcr_ManPrint() : fraLcr.c
• legalize() : place_legalize.c
• lex_order() : espresso.h, setc.c
• lex_order1() : espresso.h
• lex_sort() : cvrm.c, espresso.h
• Lf_CutDeref_rec() : giaLf.c
• Lf_CutRef_rec() : giaLf.c
• Lf_ManAlloc() : giaLf.c
• Lf_ManAnalyzeCoDrivers() : giaLf.c
• Lf_ManComputeCrossCut() : giaLf.c
• Lf_ManComputeMapping() : giaLf.c
• Lf_ManComputeSwitching() : giaLf.c
• Lf_ManCountMapRefs() : giaLf.c
• Lf_ManCountMapRefsOne() : giaLf.c
• Lf_ManDeriveMapping() : giaLf.c
• Lf_ManDeriveMappingCoarse() : giaLf.c
• Lf_ManDeriveMappingGia() : giaLf.c
• Lf_ManFree() : giaLf.c
• Lf_ManPerformMapping() : gia.h, giaLf.c
• Lf_ManPerformMappingInt() : giaLf.c
• Lf_ManPrintInit() : giaLf.c
• Lf_ManPrintQuit() : giaLf.c
• Lf_ManPrintStats() : giaLf.c
• Lf_ManSetCutRefs() : giaLf.c
• Lf_ManSetDefaultPars() : gia.h, giaLf.c
• Lf_ManSetFlowRefs() : giaLf.c
• Lf_ManSetMapRefs() : giaLf.c
• Lf_ManSetMapRefsOne() : giaLf.c
• Lf_ManTtIsMux() : giaLf.c
• Lf_ObjArrival_rec() : giaLf.c
• Lf_ObjCoArrival2_rec() : giaLf.c
• Lf_ObjMergeOrder() : giaLf.c
• Libs_End() : libSupport.c, mainInit.c
• Libs_Init() : libSupport.c, mainInit.c
• listCombination() : combination.c
• LivenessToSafetyTransformation() : liveness.c
• LivenessToSafetyTransformationAbs() : liveness.c
• LivenessToSafetyTransformationOneStepLoop() : liveness.c
• LivenessToSafetyTransformationWithLTL() : liveness.c
• Llb4_Nonlin4NormalizeCex() : llb4Cex.c
• Llb4_Nonlin4Sweep() : llb4Sweep.c, llbInt.h
• Llb4_Nonlin4SweepBadMonitor() : llb4Sweep.c
• Llb4_Nonlin4SweepBadStates() : llb4Sweep.c
• Llb4_Nonlin4SweepCutpoints() : llb4Sweep.c
• Llb4_Nonlin4SweepExperiment() : llb4Sweep.c
• Llb4_Nonlin4SweepGroups() : llb4Sweep.c
• Llb4_Nonlin4TransformCex() : llb4Cex.c, llbInt.h
• Llb4_Nonlin4VerifyCex() : llb4Cex.c
• Llb_AigMap() : llb4Map.c
• Llb_BddComputeBad() : llb2Bad.c, llbInt.h
• Llb_BddQuantifyPis() : llb2Bad.c, llbInt.h
• Llb_BddSetDefaultParams() : llb2Flow.c
• Llb_CoreComputeCube() : llb2Core.c, llbInt.h
• Llb_CoreConstructAll() : llb2Core.c
• Llb_CoreDeriveCex() : llb2Core.c
• Llb_CoreExperiment() : llb2Core.c, llbInt.h
• Llb_CoreReachability() : llb2Core.c
• Llb_CoreReachability_int() : llb2Core.c
• Llb_CoreSetVarMaps() : llb2Core.c
• Llb_CoreStart() : llb2Core.c
• Llb_CoreStop() : llb2Core.c
• Llb_DriverCollectCs() : llb2Driver.c, llbInt.h
• Llb_DriverCollectNs() : llb2Driver.c, llbInt.h
• Llb_DriverCountRefs() : llb2Driver.c, llbInt.h
• Llb_DriverLastPartition() : llb2Driver.c, llbInt.h
• Llb_DriverPhaseCube() : llb2Driver.c, llbInt.h
• Llb_ImgComputeCube() : llb2Image.c
• Llb_ImgComputeImage() : llb2Image.c, llbInt.h
• Llb_ImgPartition() : llb2Image.c, llbInt.h
• Llb_ImgQuantifyFirst() : llb2Image.c, llbInt.h
• Llb_ImgQuantifyReset() : llb2Image.c, llbInt.h
• Llb_ImgSchedule() : llb2Image.c, llbInt.h
• Llb_ImgSupports() : llb2Image.c, llbInt.h
• Llb_ManCluster() : llb1Cluster.c, llbInt.h
• Llb_ManClusterCompress() : llb1Cluster.c
• Llb_ManClusterOne() : llb1Cluster.c
• Llb_ManCollectHighFanoutObjects() : llb1Hint.c
• Llb_ManComputeAttr() : llb1Cluster.c
• Llb_ManComputeBaseCase() : llb1Constr.c
• Llb_ManComputeBestAttr() : llb1Cluster.c
• Llb_ManComputeBestQuant() : llb1Cluster.c
• Llb_ManComputeCommonAttr() : llb1Cluster.c
• Llb_ManComputeCommonQuant() : llb1Cluster.c
• Llb_ManComputeCutLi() : llb2Flow.c
• Llb_ManComputeCutLo() : llb2Flow.c
• Llb_ManComputeCuts() : llb2Flow.c
• Llb_ManComputeImage() : llb1Reach.c
• Llb_ManComputeIndCase() : llb1Constr.c
• Llb_ManComputeIndCase_rec() : llb1Constr.c
• Llb_ManComputeInitState() : llb1Reach.c
• Llb_ManComputeQuant() : llb1Cluster.c
• Llb_ManConstrTest() : llb1Constr.c
• Llb_ManConstructGlobalBdds() : llb1Constr.c
• Llb_ManConstructGroupBdd() : llb1Reach.c
• Llb_ManConstructOutBdd() : llb1Reach.c
• Llb_ManConstructQuantCubeBwd() : llb1Reach.c
• Llb_ManConstructQuantCubeFwd() : llb1Reach.c
• Llb_ManConstructQuantCubeIntern() : llb1Reach.c
• Llb_ManCountEntries() : llb1Constr.c
• Llb_ManCreateConstraints() : llb1Reach.c
• Llb_ManCutLiNum() : llb2Flow.c
• Llb_ManCutLoNum() : llb2Flow.c
• Llb_ManCutMap() : llb2Flow.c
• Llb_ManCutNodes() : llb2Flow.c, llb2Image.c
• Llb_ManCutNodes_rec() : llb2Flow.c
• Llb_ManCutPiNum() : llb2Flow.c
• Llb_ManCutPrint() : llb2Flow.c
• Llb_ManCutRange() : llb2Flow.c, llb2Image.c
• Llb_ManCutSupp() : llb2Flow.c
• Llb_ManCutSupps() : llb2Flow.c
• Llb_ManCutVolume() : llb2Flow.c
• Llb_ManCutVolume_rec() : llb2Flow.c
• Llb_ManDerefenceBdds() : llb1Constr.c
• Llb_ManDeriveConstraints() : llb1Constr.c, llbInt.h
• Llb_ManDumpReached() : llb2Dump.c, llbInt.h
• Llb_ManFlow() : llb2Flow.c, llbInt.h
• Llb_ManFlowBwdPath2_rec() : llb2Flow.c
• Llb_ManFlowCleanMarkB_rec() : llb2Flow.c
• Llb_ManFlowCollectAndMarkCone() : llb2Flow.c
• Llb_ManFlowCollectAndMarkCone_rec() : llb2Flow.c
• Llb_ManFlowCompute() : llb2Flow.c
• Llb_ManFlowFindBestCut() : llb2Flow.c
• Llb_ManFlowGetObjSet() : llb2Flow.c
• Llb_ManFlowLabelTfi_rec() : llb2Flow.c
• Llb_ManFlowMinCut() : llb2Flow.c
• Llb_ManFlowPrepareCut() : llb2Flow.c
• Llb_ManFlowSetMarkA_rec() : llb2Flow.c
• Llb_ManFlowUnmarkCone() : llb2Flow.c
• Llb_ManFlowUpdateCut() : llb2Flow.c
• Llb_ManFlowVerifyCut() : llb2Flow.c
• Llb_ManFlowVerifyCut_rec() : llb2Flow.c
• Llb_ManGetDummyName() : llb2Dump.c
• Llb_ManGroupAlloc() : llb1Group.c, llbInt.h
• Llb_ManGroupCollect() : llb1Group.c
• Llb_ManGroupCollect_rec() : llb1Group.c
• Llb_ManGroupCreate() : llb1Group.c
• Llb_ManGroupCreate_rec() : llb1Group.c
• Llb_ManGroupCreateFirst() : llb1Group.c
• Llb_ManGroupCreateFromCuts() : llb1Group.c, llbInt.h
• Llb_ManGroupCreateLast() : llb1Group.c
• Llb_ManGroupHasVar() : llb1Group.c
• Llb_ManGroupMarkNodes_rec() : llb1Group.c
• Llb_ManGroupsCombine() : llb1Group.c, llbInt.h
• Llb_ManGroupStop() : llb1Group.c, llbInt.h
• Llb_ManLabelLiCones() : llb1Pivot.c
• Llb_ManLabelLiCones_rec() : llb1Pivot.c
• Llb_ManMarkInternalPivots() : llb1Pivot.c
• Llb_ManMarkPivotNodes() : llb1Pivot.c, llbInt.h
• Llb_ManMaxFanoutCi() : llb1Hint.c
• Llb_ManMinCutTest() : llb2Flow.c
• Llb_ManModelCheckAig() : llb1Core.c, llbInt.h
• Llb_ManModelCheckAigWithHints() : llb1Hint.c, llbInt.h
• Llb_ManModelCheckGia() : llb1Core.c
• Llb_ManPerformHints() : llb1Hint.c
• Llb_ManPrepareGroups() : llb1Group.c, llbInt.h
• Llb_ManPrepareVarLimits() : llb1Man.c, llbInt.h
• Llb_ManPrepareVarMap() : llb1Man.c, llbInt.h
• Llb_ManPrintAig() : llb1Core.c
• Llb_ManPrintEntries() : llb1Constr.c, llbInt.h
• Llb_ManPrintHisto() : llb1Group.c
• Llb_ManPrintSpan() : llb1Group.c
• Llb_ManReachability() : llb1Reach.c, llbInt.h
• Llb_ManReachabilityWithHints() : llbInt.h
• Llb_ManReachDeriveCex() : llb1Reach.c
• Llb_ManReachMinCut() : llb2Core.c
• Llb_ManResultPrint() : llb2Flow.c
• Llb_ManSetDefaultParams() : llb.h, llb1Core.c
• Llb_ManStart() : llb1Man.c, llbInt.h
• Llb_ManStop() : llb1Man.c, llbInt.h
• Llb_ManTestCuts() : llb1Pivot.c
• Llb_ManTracePaths() : llb1Pivot.c, llbInt.h
• Llb_ManTracePaths_rec() : llb1Pivot.c
• Llb_MnnStart() : llb3Nonlin.c
• Llb_MnnStop() : llb3Nonlin.c
• Llb_MnxCheckNextStateVars() : llb4Nonlin.c
• Llb_MnxStart() : llb4Nonlin.c
• Llb_MnxStop() : llb4Nonlin.c
• Llb_MtrAddColumn() : llb1Matrix.c
• Llb_MtrAlloc() : llb1Matrix.c
• Llb_MtrCombineSelectedColumns() : llb1Cluster.c
• Llb_MtrCreate() : llb1Matrix.c, llbInt.h
• Llb_MtrFindBestColumn() : llb1Sched.c
• Llb_MtrFindVarOrder() : llb1Matrix.c
• Llb_MtrFree() : llb1Matrix.c, llbInt.h
• Llb_MtrPrint() : llb1Matrix.c, llbInt.h
• Llb_MtrPrintMatrixStats() : llb1Matrix.c, llbInt.h
• Llb_MtrRemoveSingletonRows() : llb1Matrix.c
• Llb_MtrSchedule() : llb1Sched.c, llbInt.h
• Llb_MtrSwapColumns() : llb1Sched.c
• Llb_MtrUseSelectedColumn() : llb1Sched.c
• Llb_MtrVarName() : llb1Matrix.c
• Llb_MtrVerifyColumns() : llb1Sched.c
• Llb_MtrVerifyColumnsAll() : llb1Matrix.c
• Llb_MtrVerifyMatrix() : llb1Matrix.c, llbInt.h
• Llb_MtrVerifyRowsAll() : llb1Matrix.c
• Llb_Nonlin4AddPair() : llb4Image.c
• Llb_Nonlin4AddPartition() : llb4Image.c
• Llb_Nonlin4Alloc() : llb4Image.c
• Llb_Nonlin4CheckVars() : llb4Image.c
• Llb_Nonlin4Cluster() : llb4Cluster.c
• Llb_Nonlin4CollectHighRefNodes() : llb4Nonlin.c
• Llb_Nonlin4ComputeBad() : llb4Nonlin.c
• Llb_Nonlin4ComputeCube() : llb4Nonlin.c
• Llb_Nonlin4ComputeInitState() : llb4Nonlin.c
• Llb_Nonlin4CoreReach() : llb.h, llb4Nonlin.c
• Llb_Nonlin4CountTerms() : llb4Cluster.c
• Llb_Nonlin4CreateCube1() : llb4Image.c
• Llb_Nonlin4CreateCube2() : llb4Image.c
• Llb_Nonlin4CreateOrder() : llb4Nonlin.c
• Llb_Nonlin4CreateOrder_rec() : llb4Nonlin.c
• Llb_Nonlin4CreateOrderSimple() : llb4Nonlin.c
• Llb_Nonlin4CreateVars2Q() : llb4Nonlin.c
• Llb_Nonlin4CutNodes() : llb4Image.c
• Llb_Nonlin4CutNodes_rec() : llb4Image.c
• Llb_Nonlin4Deref() : llb4Nonlin.c
• Llb_Nonlin4DeriveCex() : llb4Nonlin.c
• Llb_Nonlin4DerivePartitions() : llb4Nonlin.c
• Llb_Nonlin4FindOrder() : llb4Cluster.c
• Llb_Nonlin4FindOrder_rec() : llb4Cluster.c
• Llb_Nonlin4FindPartitions() : llb4Cluster.c
• Llb_Nonlin4FindPartitions_rec() : llb4Cluster.c
• Llb_Nonlin4FindVars2Q() : llb4Cluster.c
• Llb_Nonlin4Free() : llb4Image.c
• Llb_Nonlin4Group() : llb4Image.c, llbInt.h
• Llb_Nonlin4HasSingletonVars() : llb4Image.c
• Llb_Nonlin4Image() : llb4Image.c, llbInt.h
• Llb_Nonlin4Multiply() : llb4Nonlin.c
• Llb_Nonlin4NextPartitions() : llb4Image.c
• Llb_Nonlin4Print() : llb4Image.c
• Llb_Nonlin4PrintGroups() : llb4Cluster.c
• Llb_Nonlin4PrintSuppProfile() : llb4Cluster.c
• Llb_Nonlin4Quantify1() : llb4Image.c
• Llb_Nonlin4Quantify2() : llb4Image.c
• Llb_Nonlin4Reachability() : llb4Nonlin.c
• Llb_Nonlin4RecomputeScores() : llb4Image.c
• Llb_Nonlin4RecordState() : llb4Nonlin.c
• Llb_Nonlin4RemovePart() : llb4Image.c
• Llb_Nonlin4RemoveVar() : llb4Image.c
• Llb_Nonlin4Reorder() : llb4Nonlin.c
• Llb_Nonlin4SetupVarMap() : llb4Nonlin.c
• Llb_Nonlin4SweepDeref() : llb4Sweep.c
• Llb_Nonlin4SweepOrder() : llb4Sweep.c
• Llb_Nonlin4SweepOrder_rec() : llb4Sweep.c
• Llb_Nonlin4SweepPartitions() : llb4Sweep.c
• Llb_Nonlin4SweepPartitions_rec() : llb4Sweep.c
• Llb_Nonlin4SweepPrint() : llb4Sweep.c
• Llb_Nonlin4SweepPrintSuppProfile() : llb4Sweep.c
• Llb_Nonlin4SweepVars2Q() : llb4Sweep.c
• Llb_Nonlin4VerifyScores() : llb4Image.c
• Llb_NonlinAddPair() : llb3Image.c
• Llb_NonlinAddPartition() : llb3Image.c
• Llb_NonlinAlloc() : llb3Image.c
• Llb_NonlinBuildBdds() : llb3Image.c
• Llb_NonlinCheckVars() : llb3Image.c
• Llb_NonlinCompPerms() : llb3Nonlin.c
• Llb_NonlinComputeInitState() : llb3Nonlin.c, llbInt.h
• Llb_NonlinCoreReach() : llb3Nonlin.c
• Llb_NonlinCreateCube1() : llb3Image.c
• Llb_NonlinCreateCube2() : llb3Image.c
• Llb_NonlinCutNodes() : llb3Image.c
• Llb_NonlinCutNodes_rec() : llb3Image.c
• Llb_NonlinDeriveCex() : llb3Nonlin.c
• Llb_NonlinExperiment() : llb3Nonlin.c
• Llb_NonlinFindBestVar() : llb3Nonlin.c
• Llb_NonlinFree() : llb3Image.c
• Llb_NonlinHasSingletonVars() : llb3Image.c
• Llb_NonlinImage() : llb3Image.c, llbInt.h
• Llb_NonlinImageCompute() : llb3Image.c, llbInt.h
• Llb_NonlinImageQuit() : llb3Image.c, llbInt.h
• Llb_NonlinImageStart() : llb3Image.c, llbInt.h
• Llb_NonlinNextPartitions() : llb3Image.c
• Llb_NonlinPrepareVarMap() : llb3Nonlin.c
• Llb_NonlinPrint() : llb3Image.c
• Llb_NonlinQuantify1() : llb3Image.c
• Llb_NonlinQuantify2() : llb3Image.c
• Llb_NonlinReachability() : llb3Nonlin.c
• Llb_NonlinRecomputeScores() : llb3Image.c
• Llb_NonlinRemovePart() : llb3Image.c
• Llb_NonlinRemoveVar() : llb3Image.c
• Llb_NonlinReoHook() : llb3Nonlin.c
• Llb_NonlinReorder() : llb3Image.c
• Llb_NonlinStart() : llb3Image.c
• Llb_NonlinTrySubsetting() : llb3Nonlin.c
• Llb_NonlinVerifyScores() : llb3Image.c
• Llb_ReachableStates() : llb4Nonlin.c
• Llb_ReachableStatesGia() : llb4Nonlin.c
• lm_init() : deflate.c
• Lms_GiaAreas() : abcRec3.c
• Lms_GiaCollectUsefulCos() : abcRec3.c
• Lms_GiaCountTruths() : abcRec3.c
• Lms_GiaDelays() : abcRec3.c
• Lms_GiaFindNonRedundantCos() : abcRec3.c
• Lms_GiaNormalize() : abcRec3.c
• Lms_GiaPrintSubgraph() : abcRec3.c
• Lms_GiaPrintSubgraph_rec() : abcRec3.c
• Lms_GiaProfilesPrint() : abcRec3.c
• Lms_GiaSuppSizes() : abcRec3.c
• Lms_ManPrepare() : abcRec3.c
• Lms_ManPrint() : abcRec3.c
• Lms_ManPrintFreqStats() : abcRec3.c
• Lms_ManPrintFuncStats() : abcRec3.c
• Lms_ManStart() : abcRec3.c
• Lms_ManStop() : abcRec3.c
• Lms_ObjArea() : abcRec3.c
• Lms_ObjAreaMark_rec() : abcRec3.c
• Lms_ObjAreaUnmark_rec() : abcRec3.c
• Load_End() : cmdLoad.c, mainInit.c
• Load_Init() : cmdLoad.c, mainInit.c
• longest_match() : deflate.c
• Lpk_ComposeSets() : lpkSets.c
• Lpk_ComputeBoundSets() : lpkAbcDsd.c
• Lpk_ComputeBoundSets_rec() : lpkAbcDsd.c
• Lpk_ComputeSets() : lpkSets.c
• Lpk_ComputeSets_rec() : lpkSets.c
• Lpk_ComputeSupports() : lpkCore.c
• Lpk_CountSupp() : lpkCut.c
• Lpk_CreateCommonOrder() : lpkMulti.c
• Lpk_CreateVarOrder() : lpkMulti.c
• Lpk_CutTruth() : lpkCut.c, lpkInt.h
• Lpk_CutTruth_rec() : lpkCut.c
• Lpk_CutTruthBdd() : lpkCut.c
• Lpk_CutTruthBdd_rec() : lpkCut.c
• Lpk_Decompose() : lpkAbcDec.c, lpkInt.h
• Lpk_Decompose_rec() : lpkAbcDec.c
• Lpk_DecomposeClean() : lpkAbcDec.c
• Lpk_DsdAnalize() : lpkAbcDsd.c, lpkInt.h
• Lpk_DsdAnalizeOne() : lpkAbcDsd.c
• Lpk_DsdLateArriving() : lpkAbcDsd.c
• Lpk_DsdSplit() : lpkAbcDsd.c, lpkInt.h
• Lpk_ExploreCut() : lpkCore.c
• Lpk_FindHighest() : lpkMulti.c
• Lpk_FunAlloc() : lpkAbcUtil.c, lpkInt.h
• Lpk_FunCompareBoundSets() : lpkAbcDsd.c
• Lpk_FunComputeCofSupps() : lpkAbcUtil.c, lpkInt.h
• Lpk_FunComputeMinSuppSizeVar() : lpkAbcDsd.c
• Lpk_FunCreate() : lpkAbcUtil.c, lpkInt.h
• Lpk_FunDup() : lpkAbcUtil.c, lpkInt.h
• Lpk_FunFree() : lpkAbcUtil.c, lpkInt.h
• Lpk_FunSuppMinimize() : lpkAbcUtil.c, lpkInt.h
• Lpk_IfManStart() : lpkCore.c
• Lpk_Implement() : lpkAbcDec.c
• Lpk_Implement_rec() : lpkAbcDec.c
• Lpk_ImplementFun() : lpkAbcDec.c
• Lpk_ManStart() : lpkInt.h, lpkMan.c
• Lpk_ManStop() : lpkInt.h, lpkMan.c
• Lpk_MapPrime() : lpkInt.h, lpkMap.c
• Lpk_MapPrimeInternal() : lpkMap.c
• Lpk_MapSuppPrintSet() : lpkSets.c
• Lpk_MapSuppRedDec_rec() : lpkInt.h, lpkMux.c
• Lpk_MapSuppRedDecSelect() : lpkInt.h, lpkSets.c
• Lpk_MapTree_rec() : lpkInt.h, lpkMap.c
• Lpk_MapTreeBestCofVar() : lpkMux.c
• Lpk_MapTreeMulti() : lpkInt.h, lpkMulti.c
• Lpk_MapTreeMulti_rec() : lpkMulti.c
• Lpk_MapTreeMux_rec() : lpkInt.h, lpkMux.c
• Lpk_MergeBoundSets() : lpkAbcDsd.c
• Lpk_MuxAnalize() : lpkAbcMux.c, lpkInt.h
• Lpk_MuxSplit() : lpkAbcMux.c, lpkInt.h
• Lpk_NodeCuts() : lpkCut.c, lpkInt.h
• Lpk_NodeCutsCheckDsd() : lpkCut.c
• Lpk_NodeCutSignature() : lpkCut.c
• Lpk_NodeCutsOne() : lpkCut.c
• Lpk_NodeCutsOneFilter() : lpkCut.c
• Lpk_NodeHasChanged() : lpkCore.c
• Lpk_NodePrintCut() : lpkCut.c
• Lpk_NodeRecordImpact() : lpkCut.c
• Lpk_Resynthesize() : lpk.h, lpkCore.c
• Lpk_ResynthesizeNode() : lpkCore.c
• Lpk_ResynthesizeNodeNew() : lpkCore.c
• Lpk_SuppDelay() : lpkAbcUtil.c, lpkInt.h
• Lpk_SuppToVars() : lpkAbcUtil.c, lpkInt.h
• Lpk_TryDec() : lpkMux.c
• Lpk_TryDecTest() : lpkMux.c
• luby() : satSolver.c
• luby2() : satSolver2.c
• luby2_test() : satSolver2.c
• luby_test() : satSolver.c
• luckyCanonicizer() : lucky.c
• luckyCanonicizer1_simple() : lucky.c
• luckyCanonicizer_final() : lucky.c
• luckyCanonicizer_final_fast() : lucky.h, luckyFast16.c
• luckyCanonicizer_final_fast1() : lucky.h, luckyFast16.c
• luckyCanonicizer_final_fast_16Vars() : luckyFast16.c
• luckyCanonicizer_final_fast_16Vars1() : luckyFast16.c
• luckyCanonicizer_final_fast_6Vars() : luckyFast6.c, luckyInt.h
• luckyCanonicizer_final_fast_6Vars1() : luckyFast6.c, luckyInt.h
• luckyCanonicizerS_F_first_16Vars1() : luckyFast16.c
• luckyCanonicizerS_F_first_16Vars11() : luckyFast16.c
• luckyCheck() : luckyFast16.c