svf-tools 1.0.482 → 1.0.485
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AndersenHCD_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenHLCD_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/html/BDDExpr_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +32 -32
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CFLAlias_8cpp.html +1 -0
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +46 -13
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +36 -13
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +74 -77
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +165 -39
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +10 -10
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/Casting_8h_source.html +2 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -3
- package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +6 -4
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/Options_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -5
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +15 -13
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +12 -12
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +3 -2
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +2 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +70 -63
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +415 -95
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +39 -39
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +58 -58
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -36
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
- package/SVF-doxygen/html/html/cuddInt_8c.html +30 -30
- package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
- package/SVF-doxygen/html/html/cuddInt_8h.html +10 -10
- package/SVF-doxygen/html/html/cudd_8h.html +14 -14
- package/SVF-doxygen/html/html/cudd_8h_source.html +2 -2
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/functions_a.html +11 -10
- package/SVF-doxygen/html/html/functions_c.html +30 -23
- package/SVF-doxygen/html/html/functions_func.html +12 -11
- package/SVF-doxygen/html/html/functions_func_c.html +11 -10
- package/SVF-doxygen/html/html/functions_func_h.html +3 -2
- package/SVF-doxygen/html/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/html/functions_func_o.html +4 -9
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_func_u.html +1 -0
- package/SVF-doxygen/html/html/functions_g.html +5 -8
- package/SVF-doxygen/html/html/functions_h.html +2 -1
- package/SVF-doxygen/html/html/functions_i.html +6 -6
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +14 -21
- package/SVF-doxygen/html/html/functions_p.html +12 -9
- package/SVF-doxygen/html/html/functions_r.html +4 -4
- package/SVF-doxygen/html/html/functions_s.html +10 -8
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_c.html +1 -0
- package/SVF-doxygen/html/html/functions_u.html +1 -0
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +6 -10
- package/SVF-doxygen/html/html/globals_a.html +3 -0
- package/SVF-doxygen/html/html/globals_f.html +2 -2
- package/SVF-doxygen/html/html/globals_g.html +10 -4
- package/SVF-doxygen/html/html/globals_l.html +4 -1
- package/SVF-doxygen/html/html/globals_m.html +15 -12
- package/SVF-doxygen/html/html/globals_s.html +17 -13
- package/SVF-doxygen/html/html/globals_vars.html +26 -5
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +12 -12
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +2 -1
- package/SVF-doxygen/html/html/search/all_10.js +8 -7
- package/SVF-doxygen/html/html/search/all_12.js +2 -2
- package/SVF-doxygen/html/html/search/all_13.js +12 -11
- package/SVF-doxygen/html/html/search/all_14.js +6 -6
- package/SVF-doxygen/html/html/search/all_15.js +2 -2
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_5.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +4 -3
- package/SVF-doxygen/html/html/search/all_8.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +6 -5
- package/SVF-doxygen/html/html/search/all_d.js +3 -2
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +7 -9
- package/SVF-doxygen/html/html/search/functions_0.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_13.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_7.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +4 -6
- package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +1 -0
- package/SVF-doxygen/html/html/search/variables_10.js +1 -0
- package/SVF-doxygen/html/html/search/variables_13.js +2 -0
- package/SVF-doxygen/html/html/search/variables_14.js +4 -4
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -2
- package/SVF-doxygen/html/html/search/variables_7.js +4 -3
- package/SVF-doxygen/html/html/search/variables_c.js +3 -2
- package/SVF-doxygen/html/html/search/variables_d.js +1 -0
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +10 -13
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +44 -145
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +6 -5
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -3
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/CFL/CFLAlias.h +50 -4
- package/include/CFL/CFLGrammar.h +9 -28
- package/include/CFL/CFLGrammar.txt +22 -1
- package/include/CFL/CFLSolver.h +10 -8
- package/include/Graphs/CFLGraph.h +0 -1
- package/include/Graphs/GraphPrinter.h +3 -3
- package/include/Util/Options.h +2 -2
- package/lib/CFL/CFGNormalizer.cpp +8 -14
- package/lib/CFL/CFLAlias.cpp +175 -6
- package/lib/CFL/CFLSolver.cpp +1 -0
- package/lib/Graphs/CFLGraph.cpp +0 -4
- package/lib/MemoryModel/PointerAnalysis.cpp +3 -0
- package/lib/Util/Options.cpp +8 -8
- package/package.json +1 -1
|
@@ -179,8 +179,8 @@ Public Member Functions</h2></td></tr>
|
|
|
179
179
|
<tr class="separator:aa663563ea03e11371d67ff4673e98a54"><td class="memSeparator" colspan="2"> </td></tr>
|
|
180
180
|
<tr class="memitem:aa5b093d8363a473a79fd7f071a70bc81"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa5b093d8363a473a79fd7f071a70bc81">dump</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> fileName) const</td></tr>
|
|
181
181
|
<tr class="separator:aa5b093d8363a473a79fd7f071a70bc81"><td class="memSeparator" colspan="2"> </td></tr>
|
|
182
|
-
<tr class="memitem:
|
|
183
|
-
<tr class="separator:
|
|
182
|
+
<tr class="memitem:a2494806a1282de3d7f6b588f7d6cc83e"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">num_generator</a> ()</td></tr>
|
|
183
|
+
<tr class="separator:a2494806a1282de3d7f6b588f7d6cc83e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
184
184
|
<tr class="memitem:a866db9b7ba6569421fa8a9e3c64c2eab"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">classof</a> (const <a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *)</td></tr>
|
|
185
185
|
<tr class="memdesc:a866db9b7ba6569421fa8a9e3c64c2eab"><td class="mdescLeft"> </td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="#a866db9b7ba6569421fa8a9e3c64c2eab">More...</a><br /></td></tr>
|
|
186
186
|
<tr class="separator:a866db9b7ba6569421fa8a9e3c64c2eab"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -228,7 +228,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
228
228
|
</table>
|
|
229
229
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
230
230
|
<div class="textblock">
|
|
231
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
231
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00275">275</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
232
232
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
233
233
|
<a id="ad124b5e229216515b34b8d9b5d04e067"></a>
|
|
234
234
|
<h2 class="memtitle"><span class="permalink"><a href="#ad124b5e229216515b34b8d9b5d04e067">◆ </a></span>CFLGrammar()</h2>
|
|
@@ -246,7 +246,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
246
246
|
</div><div class="memdoc">
|
|
247
247
|
|
|
248
248
|
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00276">276</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
249
|
-
<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span> {</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a> = 0;</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_afdd0808aa938d854b3fc7ba9a9f3c485"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
249
|
+
<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span> {</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a> = 0;</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_afdd0808aa938d854b3fc7ba9a9f3c485"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
|
|
250
250
|
</div><!-- fragment -->
|
|
251
251
|
</div>
|
|
252
252
|
</div>
|
|
@@ -277,8 +277,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
277
277
|
|
|
278
278
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
279
279
|
|
|
280
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
281
|
-
<div class="fragment"><div class="line"><a name="
|
|
280
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00283">283</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
281
|
+
<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  }</div></div><!-- fragment -->
|
|
282
282
|
</div>
|
|
283
283
|
</div>
|
|
284
284
|
<a id="a25b035e49e90f42a44f7f6173a4bfdaf"></a>
|
|
@@ -305,8 +305,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
305
305
|
</table>
|
|
306
306
|
</div><div class="memdoc">
|
|
307
307
|
|
|
308
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
309
|
-
<div class="fragment"><div class="line"><a name="
|
|
308
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00288">288</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
309
|
+
<div class="fragment"><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  {</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  }</div></div><!-- fragment -->
|
|
310
310
|
</div>
|
|
311
311
|
</div>
|
|
312
312
|
<a id="aa663563ea03e11371d67ff4673e98a54"></a>
|
|
@@ -346,11 +346,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
346
346
|
</div><div class="memdoc">
|
|
347
347
|
|
|
348
348
|
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00286">286</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
349
|
-
<div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span> {</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  std::ofstream gramFile(fileName);</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  gramFile << <span class="charliteral">'\t'</span> << <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>) << <span class="charliteral">'('</span> << <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> << <span class="charliteral">')'</span> << <span class="charliteral">' '</span> << <span class="stringliteral">"\n\n"</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span> </div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  std::vector<std::string> strV;</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-><a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>)</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  {</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  std::stringstream ss;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  {</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">if</span> (sym == pro[1])</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  }</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  gramFile << pro;</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  }</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span> </div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  strV = {};</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>)</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  std::stringstream ss;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  {</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  i++;</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  {</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  }</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  }</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  }</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  }</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  {</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  gramFile << pro;</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  }</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span> </div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  strV = {};</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>)</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  {</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  {</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  std::stringstream ss;</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  i++;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span> </div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  {</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  }</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  }</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  }</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  {</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  gramFile << pro;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  }</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span> </div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  gramFile.close();</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00400">CFLGrammar.h:400</a></div></div>
|
|
349
|
+
<div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span> {</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  std::ofstream gramFile(fileName);</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  gramFile << <span class="charliteral">'\t'</span> << <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>) << <span class="charliteral">'('</span> << <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> << <span class="charliteral">')'</span> << <span class="charliteral">' '</span> << <span class="stringliteral">"\n\n"</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span> </div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  std::vector<std::string> strV;</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-><a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>)</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  {</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  std::stringstream ss;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  {</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">if</span> (sym == pro[1])</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  }</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  gramFile << pro;</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  }</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span> </div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  strV = {};</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>)</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  std::stringstream ss;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  {</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  i++;</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  {</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  }</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  }</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  }</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  }</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  {</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  gramFile << pro;</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  }</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span> </div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  strV = {};</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>)</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  {</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  {</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  std::stringstream ss;</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  i++;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span> </div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  {</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  }</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  }</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  }</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  {</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  gramFile << pro;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  }</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span> </div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  gramFile.close();</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
|
|
350
350
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac8ecc4293c5a63d2d30d0ca0832217d3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">SVF::GrammarBase::kind2Str</a></div><div class="ttdeci">std::string kind2Str(Kind kind) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00099">CFLGrammar.cpp:99</a></div></div>
|
|
351
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
352
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a604cb7d4850cfd12d3b8730e0cab84af"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
353
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a4d9770a2b935bcad74ae551389925f74"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
351
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
|
|
352
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a604cb7d4850cfd12d3b8730e0cab84af"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00265">CFLGrammar.h:265</a></div></div>
|
|
353
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a4d9770a2b935bcad74ae551389925f74"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00379">CFLGrammar.h:379</a></div></div>
|
|
354
354
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a4c0b76ce574087acdcb3e884480b18b0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">SVF::GrammarBase::sym2StrDump</a></div><div class="ttdeci">std::string sym2StrDump(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00125">CFLGrammar.cpp:125</a></div></div>
|
|
355
355
|
</div><!-- fragment -->
|
|
356
356
|
</div>
|
|
@@ -378,8 +378,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
378
378
|
</table>
|
|
379
379
|
</div><div class="memdoc">
|
|
380
380
|
|
|
381
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
382
|
-
<div class="fragment"><div class="line"><a name="
|
|
381
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00293">293</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
382
|
+
<div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a4d9770a2b935bcad74ae551389925f74"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00379">CFLGrammar.h:379</a></div></div>
|
|
383
383
|
</div><!-- fragment -->
|
|
384
384
|
</div>
|
|
385
385
|
</div>
|
|
@@ -406,8 +406,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
406
|
</table>
|
|
407
407
|
</div><div class="memdoc">
|
|
408
408
|
|
|
409
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
410
|
-
<div class="fragment"><div class="line"><a name="
|
|
409
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00303">303</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
410
|
+
<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
|
|
411
411
|
</div><!-- fragment -->
|
|
412
412
|
</div>
|
|
413
413
|
</div>
|
|
@@ -435,8 +435,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
435
435
|
</table>
|
|
436
436
|
</div><div class="memdoc">
|
|
437
437
|
|
|
438
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
439
|
-
<div class="fragment"><div class="line"><a name="
|
|
438
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00358">358</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
439
|
+
<div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  {</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  }</div></div><!-- fragment -->
|
|
440
440
|
</div>
|
|
441
441
|
</div>
|
|
442
442
|
<a id="a3cfce0e2282c63679d6e7835e19ad5ec"></a>
|
|
@@ -463,8 +463,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
463
463
|
</table>
|
|
464
464
|
</div><div class="memdoc">
|
|
465
465
|
|
|
466
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
467
|
-
<div class="fragment"><div class="line"><a name="
|
|
466
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00353">353</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
467
|
+
<div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  }</div></div><!-- fragment -->
|
|
468
468
|
</div>
|
|
469
469
|
</div>
|
|
470
470
|
<a id="ac167616ad6e48161b0cb890107145ffa"></a>
|
|
@@ -491,9 +491,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
491
491
|
</table>
|
|
492
492
|
</div><div class="memdoc">
|
|
493
493
|
|
|
494
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
495
|
-
<div class="fragment"><div class="line"><a name="
|
|
496
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
494
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00338">338</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
495
|
+
<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  {</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end() && <span class="stringliteral">"production (X -> sym Y ) not found for sym!!"</span>);</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
496
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
|
|
497
497
|
</div><!-- fragment -->
|
|
498
498
|
</div>
|
|
499
499
|
</div>
|
|
@@ -521,9 +521,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
521
521
|
</table>
|
|
522
522
|
</div><div class="memdoc">
|
|
523
523
|
|
|
524
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
525
|
-
<div class="fragment"><div class="line"><a name="
|
|
526
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
524
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00345">345</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
525
|
+
<div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  {</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end() && <span class="stringliteral">"production (X -> Y sym) not found for sym!!"</span>);</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
526
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
|
|
527
527
|
</div><!-- fragment -->
|
|
528
528
|
</div>
|
|
529
529
|
</div>
|
|
@@ -551,9 +551,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
551
551
|
</table>
|
|
552
552
|
</div><div class="memdoc">
|
|
553
553
|
|
|
554
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
555
|
-
<div class="fragment"><div class="line"><a name="
|
|
556
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
554
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00331">331</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
555
|
+
<div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  {</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end() && <span class="stringliteral">"production (X -> sym) not found for sym!!"</span>);</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
556
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
|
|
557
557
|
</div><!-- fragment -->
|
|
558
558
|
</div>
|
|
559
559
|
</div>
|
|
@@ -580,8 +580,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
580
580
|
</table>
|
|
581
581
|
</div><div class="memdoc">
|
|
582
582
|
|
|
583
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
584
|
-
<div class="fragment"><div class="line"><a name="
|
|
583
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00308">308</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
584
|
+
<div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
|
|
585
585
|
</div><!-- fragment -->
|
|
586
586
|
</div>
|
|
587
587
|
</div>
|
|
@@ -609,8 +609,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
609
609
|
</table>
|
|
610
610
|
</div><div class="memdoc">
|
|
611
611
|
|
|
612
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
613
|
-
<div class="fragment"><div class="line"><a name="
|
|
612
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00363">363</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
613
|
+
<div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  {</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div></div><!-- fragment -->
|
|
614
614
|
</div>
|
|
615
615
|
</div>
|
|
616
616
|
<a id="afefc9b90be5cf275f476bb7c3f1c74ce"></a>
|
|
@@ -636,8 +636,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
636
636
|
</table>
|
|
637
637
|
</div><div class="memdoc">
|
|
638
638
|
|
|
639
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
640
|
-
<div class="fragment"><div class="line"><a name="
|
|
639
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00298">298</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
640
|
+
<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
|
|
641
641
|
</div><!-- fragment -->
|
|
642
642
|
</div>
|
|
643
643
|
</div>
|
|
@@ -665,8 +665,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
665
665
|
</table>
|
|
666
666
|
</div><div class="memdoc">
|
|
667
667
|
|
|
668
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
669
|
-
<div class="fragment"><div class="line"><a name="
|
|
668
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00313">313</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
669
|
+
<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end();</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
|
|
670
670
|
</div><!-- fragment -->
|
|
671
671
|
</div>
|
|
672
672
|
</div>
|
|
@@ -694,8 +694,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
694
694
|
</table>
|
|
695
695
|
</div><div class="memdoc">
|
|
696
696
|
|
|
697
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
698
|
-
<div class="fragment"><div class="line"><a name="
|
|
697
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00325">325</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
698
|
+
<div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  {</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end();</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
|
|
699
699
|
</div><!-- fragment -->
|
|
700
700
|
</div>
|
|
701
701
|
</div>
|
|
@@ -723,13 +723,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
723
723
|
</table>
|
|
724
724
|
</div><div class="memdoc">
|
|
725
725
|
|
|
726
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
727
|
-
<div class="fragment"><div class="line"><a name="
|
|
726
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00319">319</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
727
|
+
<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  {</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end();</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
|
|
728
728
|
</div><!-- fragment -->
|
|
729
729
|
</div>
|
|
730
730
|
</div>
|
|
731
|
-
<a id="
|
|
732
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
731
|
+
<a id="a2494806a1282de3d7f6b588f7d6cc83e"></a>
|
|
732
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a2494806a1282de3d7f6b588f7d6cc83e">◆ </a></span>num_generator()</h2>
|
|
733
733
|
|
|
734
734
|
<div class="memitem">
|
|
735
735
|
<div class="memproto">
|
|
@@ -738,7 +738,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
738
738
|
<td class="mlabels-left">
|
|
739
739
|
<table class="memname">
|
|
740
740
|
<tr>
|
|
741
|
-
<td class="memname">const
|
|
741
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CFLGrammar::num_generator </td>
|
|
742
742
|
<td>(</td>
|
|
743
743
|
<td class="paramname"></td><td>)</td>
|
|
744
744
|
<td></td>
|
|
@@ -751,8 +751,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
751
751
|
</table>
|
|
752
752
|
</div><div class="memdoc">
|
|
753
753
|
|
|
754
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
755
|
-
<div class="fragment"><div class="line"><a name="
|
|
754
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00373">373</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
755
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>++;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_afdd0808aa938d854b3fc7ba9a9f3c485"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
|
|
756
756
|
</div><!-- fragment -->
|
|
757
757
|
</div>
|
|
758
758
|
</div>
|
|
@@ -777,7 +777,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
777
777
|
</table>
|
|
778
778
|
</div><div class="memdoc">
|
|
779
779
|
|
|
780
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
780
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00379">379</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
781
781
|
|
|
782
782
|
</div>
|
|
783
783
|
</div>
|
|
@@ -801,7 +801,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
801
801
|
</table>
|
|
802
802
|
</div><div class="memdoc">
|
|
803
803
|
|
|
804
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
804
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00381">381</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
805
805
|
|
|
806
806
|
</div>
|
|
807
807
|
</div>
|
|
@@ -825,7 +825,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
825
825
|
</table>
|
|
826
826
|
</div><div class="memdoc">
|
|
827
827
|
|
|
828
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
828
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00383">383</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
829
829
|
|
|
830
830
|
</div>
|
|
831
831
|
</div>
|
|
@@ -849,7 +849,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
849
849
|
</table>
|
|
850
850
|
</div><div class="memdoc">
|
|
851
851
|
|
|
852
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
852
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00382">382</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
853
853
|
|
|
854
854
|
</div>
|
|
855
855
|
</div>
|
|
@@ -873,7 +873,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
873
873
|
</table>
|
|
874
874
|
</div><div class="memdoc">
|
|
875
875
|
|
|
876
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
876
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00380">380</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
877
877
|
|
|
878
878
|
</div>
|
|
879
879
|
</div>
|
|
@@ -75,14 +75,14 @@ $(function() {
|
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">isInWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
82
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
83
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
86
86
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">~CFLSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
87
|
</table></div><!-- contents -->
|
|
88
88
|
<!-- start footer part -->
|