svf-tools 1.0.477 → 1.0.480
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/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp.html +5 -4
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +50 -40
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +20 -18
- package/SVF-doxygen/html/html/CFLAlias_8cpp.html +80 -0
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +107 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +14 -35
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +10 -10
- package/SVF-doxygen/html/html/CFLGrammar_8cpp.html +1 -0
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +34 -23
- package/SVF-doxygen/html/html/CFLGrammar_8h.html +9 -1
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +106 -62
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +58 -151
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +24 -11
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +2 -0
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +18 -19
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +27 -16
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +20 -16
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +36 -32
- package/SVF-doxygen/html/html/ExtAPI_8h.html +36 -0
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +66 -64
- 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 +14 -17
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +0 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +9 -11
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +5 -3
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +298 -293
- package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +96 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +197 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.png +0 -0
- 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 +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +108 -99
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -39
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge-members.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +62 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList-members.html +91 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +459 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +47 -38
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +180 -137
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +44 -22
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +53 -43
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +158 -125
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +20 -21
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +29 -21
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +397 -179
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash-members.html +81 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +124 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder-members.html +6 -7
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +73 -91
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html +11 -11
- package/SVF-doxygen/html/html/classes.html +105 -106
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
- package/SVF-doxygen/html/html/cuddInt_8c.html +17 -17
- package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
- package/SVF-doxygen/html/html/cuddInt_8h.html +5 -5
- package/SVF-doxygen/html/html/cudd_8h.html +9 -9
- package/SVF-doxygen/html/html/cudd_8h_source.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html +2 -0
- package/SVF-doxygen/html/html/files.html +5 -4
- package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_a.html +14 -8
- package/SVF-doxygen/html/html/functions_b.html +4 -3
- package/SVF-doxygen/html/html/functions_c.html +37 -35
- package/SVF-doxygen/html/html/functions_d.html +8 -4
- package/SVF-doxygen/html/html/functions_e.html +15 -8
- package/SVF-doxygen/html/html/functions_f.html +16 -17
- package/SVF-doxygen/html/html/functions_func.html +1 -1
- package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/html/functions_func_c.html +32 -28
- package/SVF-doxygen/html/html/functions_func_e.html +14 -7
- package/SVF-doxygen/html/html/functions_func_f.html +3 -2
- package/SVF-doxygen/html/html/functions_func_g.html +22 -18
- package/SVF-doxygen/html/html/functions_func_i.html +18 -9
- package/SVF-doxygen/html/html/functions_func_l.html +2 -5
- package/SVF-doxygen/html/html/functions_func_o.html +20 -5
- package/SVF-doxygen/html/html/functions_func_p.html +9 -7
- package/SVF-doxygen/html/html/functions_func_s.html +12 -6
- package/SVF-doxygen/html/html/functions_g.html +25 -21
- package/SVF-doxygen/html/html/functions_i.html +29 -20
- package/SVF-doxygen/html/html/functions_k.html +2 -1
- package/SVF-doxygen/html/html/functions_l.html +1 -4
- package/SVF-doxygen/html/html/functions_n.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +24 -15
- package/SVF-doxygen/html/html/functions_p.html +18 -18
- package/SVF-doxygen/html/html/functions_r.html +5 -5
- package/SVF-doxygen/html/html/functions_s.html +24 -16
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_type_d.html +4 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +7 -1
- package/SVF-doxygen/html/html/functions_type_v.html +3 -0
- package/SVF-doxygen/html/html/functions_v.html +7 -1
- package/SVF-doxygen/html/html/functions_vars_a.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_d.html +4 -2
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +6 -10
- package/SVF-doxygen/html/html/globals.html +1 -2
- package/SVF-doxygen/html/html/globals_a.html +1 -6
- package/SVF-doxygen/html/html/globals_c.html +129 -126
- package/SVF-doxygen/html/html/globals_defs_j.html +6 -0
- package/SVF-doxygen/html/html/globals_e.html +7 -8
- package/SVF-doxygen/html/html/globals_f.html +6 -12
- package/SVF-doxygen/html/html/globals_func.html +0 -6
- package/SVF-doxygen/html/html/globals_func_f.html +0 -8
- package/SVF-doxygen/html/html/globals_g.html +4 -2
- package/SVF-doxygen/html/html/globals_j.html +6 -0
- package/SVF-doxygen/html/html/globals_l.html +3 -0
- package/SVF-doxygen/html/html/globals_s.html +7 -9
- package/SVF-doxygen/html/html/globals_v.html +3 -0
- package/SVF-doxygen/html/html/globals_vars.html +17 -13
- package/SVF-doxygen/html/html/hierarchy.html +449 -444
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +8 -4
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +8 -8
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +5 -4
- package/SVF-doxygen/html/html/search/all_10.js +12 -12
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +22 -17
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -0
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_1b.js +1 -0
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +7 -6
- package/SVF-doxygen/html/html/search/all_4.js +5 -5
- package/SVF-doxygen/html/html/search/all_5.js +7 -5
- package/SVF-doxygen/html/html/search/all_6.js +4 -4
- package/SVF-doxygen/html/html/search/all_7.js +11 -9
- package/SVF-doxygen/html/html/search/all_9.js +8 -5
- package/SVF-doxygen/html/html/search/all_a.js +2 -0
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +9 -6
- package/SVF-doxygen/html/html/search/classes_0.js +1 -0
- package/SVF-doxygen/html/html/search/classes_2.js +1 -0
- package/SVF-doxygen/html/html/search/classes_f.js +3 -0
- package/SVF-doxygen/html/html/search/defines_8.js +2 -0
- package/SVF-doxygen/html/html/search/files_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -3
- package/SVF-doxygen/html/html/search/functions_1.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +4 -2
- package/SVF-doxygen/html/html/search/functions_17.js +1 -0
- package/SVF-doxygen/html/html/search/functions_2.js +3 -2
- package/SVF-doxygen/html/html/search/functions_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_4.js +5 -3
- package/SVF-doxygen/html/html/search/functions_5.js +1 -3
- package/SVF-doxygen/html/html/search/functions_6.js +9 -8
- package/SVF-doxygen/html/html/search/functions_8.js +4 -1
- package/SVF-doxygen/html/html/search/functions_b.js +0 -1
- package/SVF-doxygen/html/html/search/functions_e.js +8 -5
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_11.js +3 -1
- package/SVF-doxygen/html/html/search/typedefs_14.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +3 -2
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_14.js +2 -2
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_16.js +2 -0
- package/SVF-doxygen/html/html/search/variables_3.js +2 -2
- package/SVF-doxygen/html/html/search/variables_4.js +2 -2
- package/SVF-doxygen/html/html/search/variables_5.js +2 -2
- package/SVF-doxygen/html/html/search/variables_6.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +2 -1
- package/SVF-doxygen/html/html/search/variables_b.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -0
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +98 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +652 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +124 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +22 -15
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -2
- 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/CFGNormalizer.h +14 -9
- package/include/CFL/CFLAlias.h +1 -40
- package/include/CFL/CFLGrammar.h +246 -31
- package/include/CFL/CFLGrammar.txt +13 -15
- package/include/CFL/CFLGraphBuilder.h +27 -29
- package/include/CFL/GrammarBuilder.h +34 -14
- package/include/Graphs/CFLGraph.h +12 -0
- package/include/Graphs/ConsGEdge.h +1 -0
- package/include/SVF-FE/CallGraphBuilder.h +2 -2
- package/include/Util/ExtAPI.h +59 -42
- package/lib/CFL/CFGNormalizer.cpp +138 -86
- package/lib/CFL/CFLAlias.cpp +73 -0
- package/lib/CFL/CFLGrammar.cpp +115 -16
- package/lib/CFL/CFLGraphBuilder.cpp +64 -1
- package/lib/CFL/GrammarBuilder.cpp +42 -60
- package/lib/Graphs/CFLGraph.cpp +41 -1
- package/lib/MemoryModel/LocationSet.cpp +1 -1
- package/lib/SVF-FE/SVFIRBuilder.cpp +2 -2
- package/lib/Util/ExtAPI.cpp +34 -2
- package/lib/Util/ExtAPI.json +3268 -2585
- package/package.json +1 -1
- package/clean.sh +0 -10
- package/include/CFL/CFLGrammarDev.txt +0 -16
|
@@ -94,8 +94,8 @@ Public Member Functions</h2></td></tr>
|
|
|
94
94
|
<tr class="separator:a44232dfc5b9a13dfe9b72ff18634ab37 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
95
|
<tr class="memitem:ae79b973ec24ba034e831a90285737a41 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>)</td></tr>
|
|
96
96
|
<tr class="separator:ae79b973ec24ba034e831a90285737a41 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
-
<tr class="memitem:
|
|
98
|
-
<tr class="separator:
|
|
97
|
+
<tr class="memitem:a4561438149716c91178ea013686f66ae inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a> ()</td></tr>
|
|
98
|
+
<tr class="separator:a4561438149716c91178ea013686f66ae inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
99
|
<tr class="memitem:ae28fea79c05ba05fc8c2e67b194e42b9 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> > > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">getKind2AttrsMap</a> () const</td></tr>
|
|
100
100
|
<tr class="separator:ae28fea79c05ba05fc8c2e67b194e42b9 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
101
101
|
<tr class="memitem:a76e0969670709e24532756e56aafab19 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a> ()</td></tr>
|
|
@@ -104,68 +104,81 @@ Public Member Functions</h2></td></tr>
|
|
|
104
104
|
<tr class="separator:a8921a7d7a006e31f13d88b8c808c931b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
105
|
<tr class="memitem:a1de2b9f6c39936afa8f821ca262deadd inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>)</td></tr>
|
|
106
106
|
<tr class="separator:a1de2b9f6c39936afa8f821ca262deadd inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
-
<tr class="memitem:a37a31f03501a11e7951d56dbf1cb146a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
107
|
+
<tr class="memitem:a37a31f03501a11e7951d56dbf1cb146a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="el" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>)</td></tr>
|
|
108
108
|
<tr class="separator:a37a31f03501a11e7951d56dbf1cb146a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
109
|
-
<tr class="memitem:
|
|
110
|
-
<tr class="separator:
|
|
109
|
+
<tr class="memitem:a9cc406edc117b3abd07a85f66ca892a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0">extractKindStrFromSymbolStr</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> symbolStr) const</td></tr>
|
|
110
|
+
<tr class="separator:a9cc406edc117b3abd07a85f66ca892a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
|
+
<tr class="memitem:a9f56cebea336079e35f5f3a288eb356f inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f">extractAttributeStrFromSymbolStr</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> symbolStr) const</td></tr>
|
|
112
|
+
<tr class="separator:a9f56cebea336079e35f5f3a288eb356f inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
|
+
<tr class="memitem:a2eb6ab294093710ca1dc119836adff5a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>)</td></tr>
|
|
114
|
+
<tr class="separator:a2eb6ab294093710ca1dc119836adff5a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
115
|
<tr class="memitem:ac5048e88477e9b937fffed628dc5e8e5 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">setKind2AttrsMap</a> (const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> >> &<a class="el" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>)</td></tr>
|
|
112
116
|
<tr class="separator:ac5048e88477e9b937fffed628dc5e8e5 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
117
|
<tr class="memitem:a1e1bf1e32bcd7c68ce789c2f9f6327c0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a> (const <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &attributeKind)</td></tr>
|
|
114
118
|
<tr class="separator:a1e1bf1e32bcd7c68ce789c2f9f6327c0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
115
119
|
<tr class="memitem:ad2d56d8cdc4539d4201d1995fb36e772 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> str) const</td></tr>
|
|
116
120
|
<tr class="separator:ad2d56d8cdc4539d4201d1995fb36e772 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
121
|
+
<tr class="memitem:a5c081c6ff0501fc91b71352995d6d9dc inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">str2Symbol</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> str) const</td></tr>
|
|
122
|
+
<tr class="separator:a5c081c6ff0501fc91b71352995d6d9dc inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
117
123
|
<tr class="memitem:ac8ecc4293c5a63d2d30d0ca0832217d3 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind) const</td></tr>
|
|
118
124
|
<tr class="separator:ac8ecc4293c5a63d2d30d0ca0832217d3 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
119
|
-
<tr class="memitem:a4c0b76ce574087acdcb3e884480b18b0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a> (<a class="el" href="
|
|
125
|
+
<tr class="memitem:a4c0b76ce574087acdcb3e884480b18b0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a> (<a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym) const</td></tr>
|
|
120
126
|
<tr class="separator:a4c0b76ce574087acdcb3e884480b18b0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
121
|
-
<tr class="memitem:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="
|
|
127
|
+
<tr class="memitem:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</td></tr>
|
|
122
128
|
<tr class="separator:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
123
|
-
<tr class="memitem:
|
|
124
|
-
<tr class="separator:
|
|
129
|
+
<tr class="memitem:a2620ded7573ebdb8b4595e199105ef0e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a> () const</td></tr>
|
|
130
|
+
<tr class="separator:a2620ded7573ebdb8b4595e199105ef0e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
131
|
+
<tr class="memitem:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> const kindStr)</td></tr>
|
|
132
|
+
<tr class="memdesc:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">Insert kind to nonterminal and return kind. <a href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">More...</a><br /></td></tr>
|
|
133
|
+
<tr class="separator:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
125
134
|
<tr class="memitem:ad2f1a578ba72a2b600014b21b6f2d542 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
126
135
|
<tr class="separator:ad2f1a578ba72a2b600014b21b6f2d542 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
127
|
-
<tr class="memitem:
|
|
128
|
-
<tr class="separator:
|
|
136
|
+
<tr class="memitem:a3c16f37c05de31fbd2be1ae9c0961e84 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
137
|
+
<tr class="separator:a3c16f37c05de31fbd2be1ae9c0961e84 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
138
|
+
<tr class="memitem:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
139
|
+
<tr class="separator:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
129
140
|
<tr class="memitem:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind, <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> <a class="el" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>)</td></tr>
|
|
130
141
|
<tr class="separator:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
131
|
-
<tr class="memitem:
|
|
132
|
-
<tr class="separator:
|
|
133
|
-
<tr class="memitem:
|
|
134
|
-
<tr class="separator:
|
|
135
|
-
<tr class="memitem:
|
|
136
|
-
<tr class="separator:
|
|
137
|
-
<tr class="memitem:
|
|
138
|
-
<tr class="separator:
|
|
139
|
-
<tr class="memitem:
|
|
140
|
-
<tr class="separator:
|
|
141
|
-
<tr class="memitem:a8d6292a55da24336d968e20c7ac288d9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#
|
|
142
|
+
<tr class="memitem:a4d9770a2b935bcad74ae551389925f74"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a>< <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a></td></tr>
|
|
143
|
+
<tr class="separator:a4d9770a2b935bcad74ae551389925f74"><td class="memSeparator" colspan="2"> </td></tr>
|
|
144
|
+
<tr class="memitem:ab666a858752d088bd2f2081d0c9bd278"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a></td></tr>
|
|
145
|
+
<tr class="separator:ab666a858752d088bd2f2081d0c9bd278"><td class="memSeparator" colspan="2"> </td></tr>
|
|
146
|
+
<tr class="memitem:a640023178f4a6db832ca30256759484f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a></td></tr>
|
|
147
|
+
<tr class="separator:a640023178f4a6db832ca30256759484f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
148
|
+
<tr class="memitem:ad93447aa8d7fce7693e858717dcb44f4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a></td></tr>
|
|
149
|
+
<tr class="separator:ad93447aa8d7fce7693e858717dcb44f4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
150
|
+
<tr class="memitem:afdd0808aa938d854b3fc7ba9a9f3c485"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a></td></tr>
|
|
151
|
+
<tr class="separator:afdd0808aa938d854b3fc7ba9a9f3c485"><td class="memSeparator" colspan="2"> </td></tr>
|
|
152
|
+
<tr class="memitem:a8d6292a55da24336d968e20c7ac288d9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a> ()</td></tr>
|
|
142
153
|
<tr class="separator:a8d6292a55da24336d968e20c7ac288d9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
143
|
-
<tr class="memitem:
|
|
144
|
-
<tr class="separator:
|
|
145
|
-
<tr class="memitem:
|
|
146
|
-
<tr class="separator:
|
|
147
|
-
<tr class="memitem:
|
|
148
|
-
<tr class="separator:
|
|
149
|
-
<tr class="memitem:aa6383a6a8ccd30afbedf7ff3a05d46d8"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
154
|
+
<tr class="memitem:afefc9b90be5cf275f476bb7c3f1c74ce"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">getSingleRHS2Prods</a> ()</td></tr>
|
|
155
|
+
<tr class="separator:afefc9b90be5cf275f476bb7c3f1c74ce"><td class="memSeparator" colspan="2"> </td></tr>
|
|
156
|
+
<tr class="memitem:ac0f09c94e9c6efc00398ed7d5ca1fe0f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">getFirstRHS2Prods</a> ()</td></tr>
|
|
157
|
+
<tr class="separator:ac0f09c94e9c6efc00398ed7d5ca1fe0f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
158
|
+
<tr class="memitem:aad22309781ec1a5ab247097dcaa6a0b8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">getSecondRHS2Prods</a> ()</td></tr>
|
|
159
|
+
<tr class="separator:aad22309781ec1a5ab247097dcaa6a0b8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
160
|
+
<tr class="memitem:aa6383a6a8ccd30afbedf7ff3a05d46d8"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
150
161
|
<tr class="separator:aa6383a6a8ccd30afbedf7ff3a05d46d8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
151
|
-
<tr class="memitem:a51d4514dec026412f7151a6ea1fc2b5d"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
162
|
+
<tr class="memitem:a51d4514dec026412f7151a6ea1fc2b5d"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
152
163
|
<tr class="separator:a51d4514dec026412f7151a6ea1fc2b5d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
153
|
-
<tr class="memitem:a2b1c91f6d33423046d3ffcb2985351ce"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
164
|
+
<tr class="memitem:a2b1c91f6d33423046d3ffcb2985351ce"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
154
165
|
<tr class="separator:a2b1c91f6d33423046d3ffcb2985351ce"><td class="memSeparator" colspan="2"> </td></tr>
|
|
155
|
-
<tr class="memitem:a0c9462377b1adf656f803de3be6a0d2b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
166
|
+
<tr class="memitem:a0c9462377b1adf656f803de3be6a0d2b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
156
167
|
<tr class="separator:a0c9462377b1adf656f803de3be6a0d2b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
157
|
-
<tr class="memitem:ac167616ad6e48161b0cb890107145ffa"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
168
|
+
<tr class="memitem:ac167616ad6e48161b0cb890107145ffa"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
158
169
|
<tr class="separator:ac167616ad6e48161b0cb890107145ffa"><td class="memSeparator" colspan="2"> </td></tr>
|
|
159
|
-
<tr class="memitem:a9e62f15ed28cf5f48fce44b67d8a1c89"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
170
|
+
<tr class="memitem:a9e62f15ed28cf5f48fce44b67d8a1c89"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> sym) const</td></tr>
|
|
160
171
|
<tr class="separator:a9e62f15ed28cf5f48fce44b67d8a1c89"><td class="memSeparator" colspan="2"> </td></tr>
|
|
161
|
-
<tr class="memitem:a3cfce0e2282c63679d6e7835e19ad5ec"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
172
|
+
<tr class="memitem:a3cfce0e2282c63679d6e7835e19ad5ec"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
162
173
|
<tr class="separator:a3cfce0e2282c63679d6e7835e19ad5ec"><td class="memSeparator" colspan="2"> </td></tr>
|
|
163
|
-
<tr class="memitem:a837d2db607e1c9403db4d3021f4e52d4"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
174
|
+
<tr class="memitem:a837d2db607e1c9403db4d3021f4e52d4"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
164
175
|
<tr class="separator:a837d2db607e1c9403db4d3021f4e52d4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
165
|
-
<tr class="memitem:a3ccdda19bfed497ee8e14c1aaac4aa51"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
176
|
+
<tr class="memitem:a3ccdda19bfed497ee8e14c1aaac4aa51"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
166
177
|
<tr class="separator:a3ccdda19bfed497ee8e14c1aaac4aa51"><td class="memSeparator" colspan="2"> </td></tr>
|
|
167
178
|
<tr class="memitem:aa663563ea03e11371d67ff4673e98a54"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">dump</a> () const</td></tr>
|
|
168
179
|
<tr class="separator:aa663563ea03e11371d67ff4673e98a54"><td class="memSeparator" colspan="2"> </td></tr>
|
|
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
|
+
<tr class="separator:aa5b093d8363a473a79fd7f071a70bc81"><td class="memSeparator" colspan="2"> </td></tr>
|
|
169
182
|
<tr class="memitem:ad07b617c927ab19a61ce64961048c0e0"><td class="memItemLeft" align="right" valign="top">const int </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ad07b617c927ab19a61ce64961048c0e0">num_generator</a> ()</td></tr>
|
|
170
183
|
<tr class="separator:ad07b617c927ab19a61ce64961048c0e0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
171
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>
|
|
@@ -177,23 +190,29 @@ Public Member Functions</h2></td></tr>
|
|
|
177
190
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
178
191
|
Additional Inherited Members</h2></td></tr>
|
|
179
192
|
<tr class="inherit_header pub_types_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
180
|
-
<tr class="memitem:a98ae90215ba9aa3ddb0afdab459cb08f inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a></td></tr>
|
|
181
|
-
<tr class="separator:a98ae90215ba9aa3ddb0afdab459cb08f inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
182
|
-
<tr class="memitem:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef std::vector< <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a></td></tr>
|
|
183
|
-
<tr class="separator:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
184
|
-
<tr class="memitem:afe9195a37f75841dffd831e6e0873a98 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a></td></tr>
|
|
185
|
-
<tr class="separator:afe9195a37f75841dffd831e6e0873a98 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
186
|
-
<tr class="memitem:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a></td></tr>
|
|
187
|
-
<tr class="separator:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
188
193
|
<tr class="memitem:a7aef5c42fbd8a62dd4a541cc0e8e8187 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a></td></tr>
|
|
189
194
|
<tr class="separator:a7aef5c42fbd8a62dd4a541cc0e8e8187 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
|
+
<tr class="memitem:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a></td></tr>
|
|
196
|
+
<tr class="separator:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
197
|
+
<tr class="memitem:a716ce662e6a3f2febf3ab378c4217759 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a></td></tr>
|
|
198
|
+
<tr class="separator:a716ce662e6a3f2febf3ab378c4217759 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
199
|
+
<tr class="memitem:ad4f53184d04d9f7a737b19f63d002550 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a></td></tr>
|
|
200
|
+
<tr class="separator:ad4f53184d04d9f7a737b19f63d002550 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
201
|
+
<tr class="memitem:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplParams" colspan="2">template<typename Key , typename Value , typename Hash = SymbolHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<std::pair<const Key, Value>>> </td></tr>
|
|
202
|
+
<tr class="memitem:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplItemLeft" align="right" valign="top">using </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> = std::unordered_map< Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <a class="el" href="structSVF_1_1Hash.html">Hash</a>, KeyEqual, Allocator ></td></tr>
|
|
203
|
+
<tr class="separator:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
204
|
+
<tr class="memitem:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplParams" colspan="2">template<typename Key , typename Hash = SymbolVectorHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<Key>> </td></tr>
|
|
205
|
+
<tr class="memitem:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplItemLeft" align="right" valign="top">using </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> = std::unordered_set< Key, <a class="el" href="structSVF_1_1Hash.html">Hash</a>, KeyEqual, Allocator ></td></tr>
|
|
206
|
+
<tr class="separator:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
207
|
+
<tr class="memitem:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef std::vector< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a></td></tr>
|
|
208
|
+
<tr class="separator:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
209
|
+
<tr class="memitem:a755024745a77509d2f07867be8245a4d inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a>< <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a></td></tr>
|
|
210
|
+
<tr class="separator:a755024745a77509d2f07867be8245a4d inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
190
211
|
<tr class="inherit_header pub_static_methods_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
191
|
-
<tr class="memitem:a76189622192db66f7c355038c73fa9dd inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a76189622192db66f7c355038c73fa9dd">getSymKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym)</td></tr>
|
|
192
|
-
<tr class="separator:a76189622192db66f7c355038c73fa9dd inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
193
|
-
<tr class="memitem:ae16ccf07065150dddca4a2becdfdff91 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ae16ccf07065150dddca4a2becdfdff91">getSymAttribute</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym)</td></tr>
|
|
194
|
-
<tr class="separator:ae16ccf07065150dddca4a2becdfdff91 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
212
|
<tr class="memitem:af418e1033618da75e974a04ee1d7e275 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> attribute, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</td></tr>
|
|
196
213
|
<tr class="separator:af418e1033618da75e974a04ee1d7e275 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
|
+
<tr class="memitem:ad7321168f53baa55098f7c714ec53f1e inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> variableAttribute, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</td></tr>
|
|
215
|
+
<tr class="separator:ad7321168f53baa55098f7c714ec53f1e inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
197
216
|
<tr class="inherit_header pro_attribs_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
198
217
|
<tr class="memitem:a604cb7d4850cfd12d3b8730e0cab84af inherit pro_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a></td></tr>
|
|
199
218
|
<tr class="separator:a604cb7d4850cfd12d3b8730e0cab84af inherit pro_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -201,12 +220,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
201
220
|
<tr class="memitem:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a> = 8</td></tr>
|
|
202
221
|
<tr class="memdesc:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">We use the lower 8 bits to denote edge kind. <a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">More...</a><br /></td></tr>
|
|
203
222
|
<tr class="separator:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
223
|
+
<tr class="memitem:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a> = 24</td></tr>
|
|
224
|
+
<tr class="memdesc:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">We use the lower 24 bits to denote attributed kind. <a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">More...</a><br /></td></tr>
|
|
225
|
+
<tr class="separator:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
204
226
|
<tr class="memitem:a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> = (~0ULL) >> (64 - EdgeKindMaskBits)</td></tr>
|
|
205
227
|
<tr class="separator:a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
206
228
|
</table>
|
|
207
229
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
208
230
|
<div class="textblock">
|
|
209
|
-
<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#l00294">294</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
210
232
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
211
233
|
<a id="ad124b5e229216515b34b8d9b5d04e067"></a>
|
|
212
234
|
<h2 class="memtitle"><span class="permalink"><a href="#ad124b5e229216515b34b8d9b5d04e067">◆ </a></span>CFLGrammar()</h2>
|
|
@@ -223,8 +245,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
223
245
|
</table>
|
|
224
246
|
</div><div class="memdoc">
|
|
225
247
|
|
|
226
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#
|
|
227
|
-
<div class="fragment"><div class="line"><a name="
|
|
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#l00402">CFLGrammar.h:402</a></div></div>
|
|
228
250
|
</div><!-- fragment -->
|
|
229
251
|
</div>
|
|
230
252
|
</div>
|
|
@@ -255,8 +277,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
255
277
|
|
|
256
278
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
257
279
|
|
|
258
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
259
|
-
<div class="fragment"><div class="line"><a name="
|
|
280
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00302">302</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
281
|
+
<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  {</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  }</div></div><!-- fragment -->
|
|
260
282
|
</div>
|
|
261
283
|
</div>
|
|
262
284
|
<a id="a25b035e49e90f42a44f7f6173a4bfdaf"></a>
|
|
@@ -283,12 +305,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
283
305
|
</table>
|
|
284
306
|
</div><div class="memdoc">
|
|
285
307
|
|
|
286
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
287
|
-
<div class="fragment"><div class="line"><a name="
|
|
308
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00307">307</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
309
|
+
<div class="fragment"><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  {</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  }</div></div><!-- fragment -->
|
|
288
310
|
</div>
|
|
289
311
|
</div>
|
|
290
312
|
<a id="aa663563ea03e11371d67ff4673e98a54"></a>
|
|
291
|
-
<h2 class="memtitle"><span class="permalink"><a href="#aa663563ea03e11371d67ff4673e98a54">◆ </a></span>dump()</h2>
|
|
313
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa663563ea03e11371d67ff4673e98a54">◆ </a></span>dump() <span class="overload">[1/2]</span></h2>
|
|
292
314
|
|
|
293
315
|
<div class="memitem">
|
|
294
316
|
<div class="memproto">
|
|
@@ -302,13 +324,34 @@ Additional Inherited Members</h2></td></tr>
|
|
|
302
324
|
</table>
|
|
303
325
|
</div><div class="memdoc">
|
|
304
326
|
|
|
305
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#
|
|
306
|
-
<div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno"> 188</span> {</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  std::ofstream gramFile(<span class="stringliteral">"Normailized_Grammar.txt"</span>);</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</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="l00192"></a><span class="lineno"> 192</span> </div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  std::vector<std::string> strV;</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-><a class="code" href="classSVF_1_1CFLGrammar.html#a9aa7b030d56b5c7358ffa2d4a5da8fa7">epsilonProds</a>)</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  std::stringstream ss;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  {</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">if</span> (sym == pro[1])</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  }</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  }</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  {</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  gramFile << pro;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span> </div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  strV = {};</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>)</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  {</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  {</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  std::stringstream ss;</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  {</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  i++;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  }</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  }</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  }</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  }</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  {</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  gramFile << pro;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  }</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span> </div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  strV = {};</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>)</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  {</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  {</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  std::stringstream ss;</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  {</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  i++;</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span> </div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  {</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  }</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) << <span class="charliteral">'('</span> << sym << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  }</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  }</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  }</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  {</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  gramFile << pro;</div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  }</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span> </div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  gramFile.close();</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_acd866f3392952d7d71b51ca21b7e1c91"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">Map< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00250">CFLGrammar.h:250</a></div></div>
|
|
307
|
-
|
|
308
|
-
|
|
309
|
-
|
|
310
|
-
<
|
|
311
|
-
<
|
|
327
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00281">281</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
328
|
+
<div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span> {</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  <a class="code" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">dump</a>(<span class="stringliteral">"Normailized_Grammar.txt"</span>);</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span> }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_aa663563ea03e11371d67ff4673e98a54"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00281">CFLGrammar.cpp:281</a></div></div>
|
|
329
|
+
</div><!-- fragment -->
|
|
330
|
+
</div>
|
|
331
|
+
</div>
|
|
332
|
+
<a id="aa5b093d8363a473a79fd7f071a70bc81"></a>
|
|
333
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa5b093d8363a473a79fd7f071a70bc81">◆ </a></span>dump() <span class="overload">[2/2]</span></h2>
|
|
334
|
+
|
|
335
|
+
<div class="memitem">
|
|
336
|
+
<div class="memproto">
|
|
337
|
+
<table class="memname">
|
|
338
|
+
<tr>
|
|
339
|
+
<td class="memname">void CFLGrammar::dump </td>
|
|
340
|
+
<td>(</td>
|
|
341
|
+
<td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td>
|
|
342
|
+
<td class="paramname"><em>fileName</em></td><td>)</td>
|
|
343
|
+
<td> const</td>
|
|
344
|
+
</tr>
|
|
345
|
+
</table>
|
|
346
|
+
</div><div class="memdoc">
|
|
347
|
+
|
|
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>
|
|
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#l00399">CFLGrammar.h:399</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#l00284">CFLGrammar.h:284</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#l00398">CFLGrammar.h:398</a></div></div>
|
|
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>
|
|
312
355
|
</div><!-- fragment -->
|
|
313
356
|
</div>
|
|
314
357
|
</div>
|
|
@@ -322,7 +365,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
322
365
|
<td class="mlabels-left">
|
|
323
366
|
<table class="memname">
|
|
324
367
|
<tr>
|
|
325
|
-
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#
|
|
368
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFLGrammar::getEpsilonProds </td>
|
|
326
369
|
<td>(</td>
|
|
327
370
|
<td class="paramname"></td><td>)</td>
|
|
328
371
|
<td></td>
|
|
@@ -335,13 +378,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
335
378
|
</table>
|
|
336
379
|
</div><div class="memdoc">
|
|
337
380
|
|
|
338
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
339
|
-
<div class="fragment"><div class="line"><a name="
|
|
381
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00312">312</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
382
|
+
<div class="fragment"><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>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</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#l00398">CFLGrammar.h:398</a></div></div>
|
|
340
383
|
</div><!-- fragment -->
|
|
341
384
|
</div>
|
|
342
385
|
</div>
|
|
343
|
-
<a id="
|
|
344
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
386
|
+
<a id="ac0f09c94e9c6efc00398ed7d5ca1fe0f"></a>
|
|
387
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac0f09c94e9c6efc00398ed7d5ca1fe0f">◆ </a></span>getFirstRHS2Prods()</h2>
|
|
345
388
|
|
|
346
389
|
<div class="memitem">
|
|
347
390
|
<div class="memproto">
|
|
@@ -350,7 +393,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
350
393
|
<td class="mlabels-left">
|
|
351
394
|
<table class="memname">
|
|
352
395
|
<tr>
|
|
353
|
-
<td class="memname"><a class="el" href="
|
|
396
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFLGrammar::getFirstRHS2Prods </td>
|
|
354
397
|
<td>(</td>
|
|
355
398
|
<td class="paramname"></td><td>)</td>
|
|
356
399
|
<td></td>
|
|
@@ -363,8 +406,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
363
406
|
</table>
|
|
364
407
|
</div><div class="memdoc">
|
|
365
408
|
|
|
366
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
367
|
-
<div class="fragment"><div class="line"><a name="
|
|
409
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00322">322</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
410
|
+
<div class="fragment"><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  {</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</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>
|
|
368
411
|
</div><!-- fragment -->
|
|
369
412
|
</div>
|
|
370
413
|
</div>
|
|
@@ -378,7 +421,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
378
421
|
<td class="mlabels-left">
|
|
379
422
|
<table class="memname">
|
|
380
423
|
<tr>
|
|
381
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
424
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>& SVF::CFLGrammar::getFirstRHSSymbol </td>
|
|
382
425
|
<td>(</td>
|
|
383
426
|
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
384
427
|
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
@@ -392,8 +435,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
392
435
|
</table>
|
|
393
436
|
</div><div class="memdoc">
|
|
394
437
|
|
|
395
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
396
|
-
<div class="fragment"><div class="line"><a name="
|
|
438
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00377">377</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
439
|
+
<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  {</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  }</div></div><!-- fragment -->
|
|
397
440
|
</div>
|
|
398
441
|
</div>
|
|
399
442
|
<a id="a3cfce0e2282c63679d6e7835e19ad5ec"></a>
|
|
@@ -406,7 +449,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
449
|
<td class="mlabels-left">
|
|
407
450
|
<table class="memname">
|
|
408
451
|
<tr>
|
|
409
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
452
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>& SVF::CFLGrammar::getLHSSymbol </td>
|
|
410
453
|
<td>(</td>
|
|
411
454
|
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
412
455
|
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
@@ -420,8 +463,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
420
463
|
</table>
|
|
421
464
|
</div><div class="memdoc">
|
|
422
465
|
|
|
423
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
424
|
-
<div class="fragment"><div class="line"><a name="
|
|
466
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00372">372</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
467
|
+
<div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  {</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  }</div></div><!-- fragment -->
|
|
425
468
|
</div>
|
|
426
469
|
</div>
|
|
427
470
|
<a id="ac167616ad6e48161b0cb890107145ffa"></a>
|
|
@@ -434,9 +477,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
434
477
|
<td class="mlabels-left">
|
|
435
478
|
<table class="memname">
|
|
436
479
|
<tr>
|
|
437
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
480
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFLGrammar::getProdsFromFirstRHS </td>
|
|
438
481
|
<td>(</td>
|
|
439
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
482
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
440
483
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
441
484
|
<td> const</td>
|
|
442
485
|
</tr>
|
|
@@ -448,9 +491,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
448
491
|
</table>
|
|
449
492
|
</div><div class="memdoc">
|
|
450
493
|
|
|
451
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
452
|
-
<div class="fragment"><div class="line"><a name="
|
|
453
|
-
<div class="ttc" id="
|
|
494
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00357">357</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
495
|
+
<div class="fragment"><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>  <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="l00360"></a><span class="lineno"> 360</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="l00361"></a><span class="lineno"> 361</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</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#l00400">CFLGrammar.h:400</a></div></div>
|
|
454
497
|
</div><!-- fragment -->
|
|
455
498
|
</div>
|
|
456
499
|
</div>
|
|
@@ -464,9 +507,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
464
507
|
<td class="mlabels-left">
|
|
465
508
|
<table class="memname">
|
|
466
509
|
<tr>
|
|
467
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
510
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFLGrammar::getProdsFromSecondRHS </td>
|
|
468
511
|
<td>(</td>
|
|
469
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
512
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
470
513
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
471
514
|
<td> const</td>
|
|
472
515
|
</tr>
|
|
@@ -478,9 +521,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
478
521
|
</table>
|
|
479
522
|
</div><div class="memdoc">
|
|
480
523
|
|
|
481
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
482
|
-
<div class="fragment"><div class="line"><a name="
|
|
483
|
-
<div class="ttc" id="
|
|
524
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00364">364</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
525
|
+
<div class="fragment"><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>  <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="l00367"></a><span class="lineno"> 367</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="l00368"></a><span class="lineno"> 368</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</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#l00401">CFLGrammar.h:401</a></div></div>
|
|
484
527
|
</div><!-- fragment -->
|
|
485
528
|
</div>
|
|
486
529
|
</div>
|
|
@@ -494,9 +537,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
494
537
|
<td class="mlabels-left">
|
|
495
538
|
<table class="memname">
|
|
496
539
|
<tr>
|
|
497
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
540
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFLGrammar::getProdsFromSingleRHS </td>
|
|
498
541
|
<td>(</td>
|
|
499
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
542
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
500
543
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
501
544
|
<td> const</td>
|
|
502
545
|
</tr>
|
|
@@ -508,14 +551,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
508
551
|
</table>
|
|
509
552
|
</div><div class="memdoc">
|
|
510
553
|
|
|
511
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
512
|
-
<div class="fragment"><div class="line"><a name="
|
|
513
|
-
<div class="ttc" id="
|
|
554
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00350">350</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
555
|
+
<div class="fragment"><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  {</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</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="l00353"></a><span class="lineno"> 353</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="l00354"></a><span class="lineno"> 354</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</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#l00399">CFLGrammar.h:399</a></div></div>
|
|
514
557
|
</div><!-- fragment -->
|
|
515
558
|
</div>
|
|
516
559
|
</div>
|
|
517
|
-
<a id="
|
|
518
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
560
|
+
<a id="aad22309781ec1a5ab247097dcaa6a0b8"></a>
|
|
561
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aad22309781ec1a5ab247097dcaa6a0b8">◆ </a></span>getSecondRHS2Prods()</h2>
|
|
519
562
|
|
|
520
563
|
<div class="memitem">
|
|
521
564
|
<div class="memproto">
|
|
@@ -524,7 +567,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
524
567
|
<td class="mlabels-left">
|
|
525
568
|
<table class="memname">
|
|
526
569
|
<tr>
|
|
527
|
-
<td class="memname"><a class="el" href="
|
|
570
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFLGrammar::getSecondRHS2Prods </td>
|
|
528
571
|
<td>(</td>
|
|
529
572
|
<td class="paramname"></td><td>)</td>
|
|
530
573
|
<td></td>
|
|
@@ -537,8 +580,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
537
580
|
</table>
|
|
538
581
|
</div><div class="memdoc">
|
|
539
582
|
|
|
540
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
541
|
-
<div class="fragment"><div class="line"><a name="
|
|
583
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00327">327</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
584
|
+
<div class="fragment"><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>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</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#l00401">CFLGrammar.h:401</a></div></div>
|
|
542
585
|
</div><!-- fragment -->
|
|
543
586
|
</div>
|
|
544
587
|
</div>
|
|
@@ -552,7 +595,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
552
595
|
<td class="mlabels-left">
|
|
553
596
|
<table class="memname">
|
|
554
597
|
<tr>
|
|
555
|
-
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
598
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>& SVF::CFLGrammar::getSecondRHSSymbol </td>
|
|
556
599
|
<td>(</td>
|
|
557
600
|
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
558
601
|
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
@@ -566,12 +609,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
566
609
|
</table>
|
|
567
610
|
</div><div class="memdoc">
|
|
568
611
|
|
|
569
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
570
|
-
<div class="fragment"><div class="line"><a name="
|
|
612
|
+
<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>
|
|
613
|
+
<div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  }</div></div><!-- fragment -->
|
|
571
614
|
</div>
|
|
572
615
|
</div>
|
|
573
|
-
<a id="
|
|
574
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
616
|
+
<a id="afefc9b90be5cf275f476bb7c3f1c74ce"></a>
|
|
617
|
+
<h2 class="memtitle"><span class="permalink"><a href="#afefc9b90be5cf275f476bb7c3f1c74ce">◆ </a></span>getSingleRHS2Prods()</h2>
|
|
575
618
|
|
|
576
619
|
<div class="memitem">
|
|
577
620
|
<div class="memproto">
|
|
@@ -580,7 +623,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
580
623
|
<td class="mlabels-left">
|
|
581
624
|
<table class="memname">
|
|
582
625
|
<tr>
|
|
583
|
-
<td class="memname"><a class="el" href="
|
|
626
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFLGrammar::getSingleRHS2Prods </td>
|
|
584
627
|
<td>(</td>
|
|
585
628
|
<td class="paramname"></td><td>)</td>
|
|
586
629
|
<td></td>
|
|
@@ -593,8 +636,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
593
636
|
</table>
|
|
594
637
|
</div><div class="memdoc">
|
|
595
638
|
|
|
596
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
597
|
-
<div class="fragment"><div class="line"><a name="
|
|
639
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00317">317</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
640
|
+
<div class="fragment"><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  {</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</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#l00399">CFLGrammar.h:399</a></div></div>
|
|
598
641
|
</div><!-- fragment -->
|
|
599
642
|
</div>
|
|
600
643
|
</div>
|
|
@@ -610,7 +653,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
610
653
|
<tr>
|
|
611
654
|
<td class="memname">const bool SVF::CFLGrammar::hasProdsFromFirstRHS </td>
|
|
612
655
|
<td>(</td>
|
|
613
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
656
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
614
657
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
615
658
|
<td> const</td>
|
|
616
659
|
</tr>
|
|
@@ -622,8 +665,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
622
665
|
</table>
|
|
623
666
|
</div><div class="memdoc">
|
|
624
667
|
|
|
625
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
626
|
-
<div class="fragment"><div class="line"><a name="
|
|
668
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00332">332</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
669
|
+
<div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  {</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</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="l00335"></a><span class="lineno"> 335</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="l00336"></a><span class="lineno"> 336</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>
|
|
627
670
|
</div><!-- fragment -->
|
|
628
671
|
</div>
|
|
629
672
|
</div>
|
|
@@ -639,7 +682,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
639
682
|
<tr>
|
|
640
683
|
<td class="memname">const bool SVF::CFLGrammar::hasProdsFromSecondRHS </td>
|
|
641
684
|
<td>(</td>
|
|
642
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
685
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
643
686
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
644
687
|
<td> const</td>
|
|
645
688
|
</tr>
|
|
@@ -651,8 +694,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
651
694
|
</table>
|
|
652
695
|
</div><div class="memdoc">
|
|
653
696
|
|
|
654
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
655
|
-
<div class="fragment"><div class="line"><a name="
|
|
697
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00344">344</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
698
|
+
<div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  {</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</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="l00347"></a><span class="lineno"> 347</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="l00348"></a><span class="lineno"> 348</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#l00401">CFLGrammar.h:401</a></div></div>
|
|
656
699
|
</div><!-- fragment -->
|
|
657
700
|
</div>
|
|
658
701
|
</div>
|
|
@@ -668,7 +711,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
668
711
|
<tr>
|
|
669
712
|
<td class="memname">const bool SVF::CFLGrammar::hasProdsFromSingleRHS </td>
|
|
670
713
|
<td>(</td>
|
|
671
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#
|
|
714
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> </td>
|
|
672
715
|
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
673
716
|
<td> const</td>
|
|
674
717
|
</tr>
|
|
@@ -680,8 +723,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
680
723
|
</table>
|
|
681
724
|
</div><div class="memdoc">
|
|
682
725
|
|
|
683
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
684
|
-
<div class="fragment"><div class="line"><a name="
|
|
726
|
+
<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>
|
|
727
|
+
<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#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</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="l00342"></a><span class="lineno"> 342</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#l00399">CFLGrammar.h:399</a></div></div>
|
|
685
728
|
</div><!-- fragment -->
|
|
686
729
|
</div>
|
|
687
730
|
</div>
|
|
@@ -708,14 +751,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
708
751
|
</table>
|
|
709
752
|
</div><div class="memdoc">
|
|
710
753
|
|
|
711
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
712
|
-
<div class="fragment"><div class="line"><a name="
|
|
754
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00392">392</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
755
|
+
<div class="fragment"><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  {</div><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>++;</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</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#l00402">CFLGrammar.h:402</a></div></div>
|
|
713
756
|
</div><!-- fragment -->
|
|
714
757
|
</div>
|
|
715
758
|
</div>
|
|
716
759
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
717
|
-
<a id="
|
|
718
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
760
|
+
<a id="a4d9770a2b935bcad74ae551389925f74"></a>
|
|
761
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a4d9770a2b935bcad74ae551389925f74">◆ </a></span>epsilonProds</h2>
|
|
719
762
|
|
|
720
763
|
<div class="memitem">
|
|
721
764
|
<div class="memproto">
|
|
@@ -724,7 +767,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
724
767
|
<td class="mlabels-left">
|
|
725
768
|
<table class="memname">
|
|
726
769
|
<tr>
|
|
727
|
-
<td class="memname"><a class="el" href="
|
|
770
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a><<a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>> SVF::CFLGrammar::epsilonProds</td>
|
|
728
771
|
</tr>
|
|
729
772
|
</table>
|
|
730
773
|
</td>
|
|
@@ -734,12 +777,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
734
777
|
</table>
|
|
735
778
|
</div><div class="memdoc">
|
|
736
779
|
|
|
737
|
-
<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#l00398">398</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
738
781
|
|
|
739
782
|
</div>
|
|
740
783
|
</div>
|
|
741
|
-
<a id="
|
|
742
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
784
|
+
<a id="a640023178f4a6db832ca30256759484f"></a>
|
|
785
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a640023178f4a6db832ca30256759484f">◆ </a></span>firstRHS2Prods</h2>
|
|
743
786
|
|
|
744
787
|
<div class="memitem">
|
|
745
788
|
<div class="memproto">
|
|
@@ -748,7 +791,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
748
791
|
<td class="mlabels-left">
|
|
749
792
|
<table class="memname">
|
|
750
793
|
<tr>
|
|
751
|
-
<td class="memname"><a class="el" href="
|
|
794
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFLGrammar::firstRHS2Prods</td>
|
|
752
795
|
</tr>
|
|
753
796
|
</table>
|
|
754
797
|
</td>
|
|
@@ -758,12 +801,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
758
801
|
</table>
|
|
759
802
|
</div><div class="memdoc">
|
|
760
803
|
|
|
761
|
-
<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#l00400">400</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
762
805
|
|
|
763
806
|
</div>
|
|
764
807
|
</div>
|
|
765
|
-
<a id="
|
|
766
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
808
|
+
<a id="afdd0808aa938d854b3fc7ba9a9f3c485"></a>
|
|
809
|
+
<h2 class="memtitle"><span class="permalink"><a href="#afdd0808aa938d854b3fc7ba9a9f3c485">◆ </a></span>newTerminalSubscript</h2>
|
|
767
810
|
|
|
768
811
|
<div class="memitem">
|
|
769
812
|
<div class="memproto">
|
|
@@ -772,7 +815,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
772
815
|
<td class="mlabels-left">
|
|
773
816
|
<table class="memname">
|
|
774
817
|
<tr>
|
|
775
|
-
<td class="memname"><a class="el" href="
|
|
818
|
+
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CFLGrammar::newTerminalSubscript</td>
|
|
776
819
|
</tr>
|
|
777
820
|
</table>
|
|
778
821
|
</td>
|
|
@@ -782,12 +825,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
782
825
|
</table>
|
|
783
826
|
</div><div class="memdoc">
|
|
784
827
|
|
|
785
|
-
<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#l00402">402</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
786
829
|
|
|
787
830
|
</div>
|
|
788
831
|
</div>
|
|
789
|
-
<a id="
|
|
790
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
832
|
+
<a id="ad93447aa8d7fce7693e858717dcb44f4"></a>
|
|
833
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad93447aa8d7fce7693e858717dcb44f4">◆ </a></span>secondRHS2Prods</h2>
|
|
791
834
|
|
|
792
835
|
<div class="memitem">
|
|
793
836
|
<div class="memproto">
|
|
@@ -796,7 +839,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
796
839
|
<td class="mlabels-left">
|
|
797
840
|
<table class="memname">
|
|
798
841
|
<tr>
|
|
799
|
-
<td class="memname"><a class="el" href="
|
|
842
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFLGrammar::secondRHS2Prods</td>
|
|
800
843
|
</tr>
|
|
801
844
|
</table>
|
|
802
845
|
</td>
|
|
@@ -806,12 +849,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
806
849
|
</table>
|
|
807
850
|
</div><div class="memdoc">
|
|
808
851
|
|
|
809
|
-
<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#l00401">401</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
810
853
|
|
|
811
854
|
</div>
|
|
812
855
|
</div>
|
|
813
|
-
<a id="
|
|
814
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
856
|
+
<a id="ab666a858752d088bd2f2081d0c9bd278"></a>
|
|
857
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ab666a858752d088bd2f2081d0c9bd278">◆ </a></span>singleRHS2Prods</h2>
|
|
815
858
|
|
|
816
859
|
<div class="memitem">
|
|
817
860
|
<div class="memproto">
|
|
@@ -820,7 +863,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
820
863
|
<td class="mlabels-left">
|
|
821
864
|
<table class="memname">
|
|
822
865
|
<tr>
|
|
823
|
-
<td class="memname"><a class="el" href="
|
|
866
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFLGrammar::singleRHS2Prods</td>
|
|
824
867
|
</tr>
|
|
825
868
|
</table>
|
|
826
869
|
</td>
|
|
@@ -830,7 +873,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
830
873
|
</table>
|
|
831
874
|
</div><div class="memdoc">
|
|
832
875
|
|
|
833
|
-
<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#l00399">399</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
834
877
|
|
|
835
878
|
</div>
|
|
836
879
|
</div>
|