svf-tools 1.0.581 → 1.0.583
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/AndersenPWC_8h_source.html +1 -2
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -5
- package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -5
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +32 -30
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +15 -16
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +11 -9
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +23 -21
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +70 -66
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +28 -262
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +37 -20
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +22 -19
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +18 -15
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/CFLStat_8h_source.html +8 -11
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -3
- 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 -4
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -7
- package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -3
- package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -4
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -2
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -3
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -5
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -5
- 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 +4 -4
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +1 -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 -2
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -4
- package/SVF-doxygen/html/html/MTA_8h_source.html +1 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -3
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +1 -3
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +6 -6
- 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 -2
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +2 -3
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -2
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -2
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -2
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -2
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +2 -2
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +1 -2
- 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 -2
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -5
- package/SVF-doxygen/html/html/VFG_8h_source.html +3 -6
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +1 -3
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +58 -56
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +4 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +47 -42
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +4 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +79 -26
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge-members.html +19 -18
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +43 -20
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +40 -37
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +55 -49
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode-members.html +19 -9
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +379 -20
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +12 -9
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +144 -53
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat-members.html +31 -32
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +50 -78
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +2 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +14 -10
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +5 -7
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +8 -17
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +6 -10
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +13 -14
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -5
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +6 -10
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +23 -19
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +197 -78
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -5
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +5 -8
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -7
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +13 -25
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +6 -10
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +4 -6
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +14 -20
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -5
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -2
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/functions.html +0 -3
- package/SVF-doxygen/html/html/functions_a.html +14 -4
- package/SVF-doxygen/html/html/functions_c.html +38 -30
- package/SVF-doxygen/html/html/functions_e.html +4 -1
- package/SVF-doxygen/html/html/functions_f.html +6 -6
- package/SVF-doxygen/html/html/functions_func.html +16 -6
- package/SVF-doxygen/html/html/functions_func_c.html +29 -27
- package/SVF-doxygen/html/html/functions_func_g.html +25 -16
- package/SVF-doxygen/html/html/functions_func_i.html +8 -4
- package/SVF-doxygen/html/html/functions_func_p.html +4 -1
- package/SVF-doxygen/html/html/functions_func_r.html +8 -2
- package/SVF-doxygen/html/html/functions_func_s.html +12 -9
- package/SVF-doxygen/html/html/functions_g.html +23 -14
- package/SVF-doxygen/html/html/functions_i.html +20 -13
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +9 -4
- package/SVF-doxygen/html/html/functions_o.html +21 -10
- package/SVF-doxygen/html/html/functions_p.html +16 -17
- package/SVF-doxygen/html/html/functions_r.html +7 -1
- package/SVF-doxygen/html/html/functions_s.html +8 -5
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_c.html +6 -0
- package/SVF-doxygen/html/html/functions_vars.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_i.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_n.html +6 -1
- package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/globals_a.html +0 -4
- package/SVF-doxygen/html/html/globals_c.html +7 -8
- package/SVF-doxygen/html/html/globals_e.html +1 -2
- package/SVF-doxygen/html/html/globals_f.html +4 -8
- package/SVF-doxygen/html/html/globals_g.html +4 -8
- package/SVF-doxygen/html/html/globals_l.html +2 -8
- package/SVF-doxygen/html/html/globals_m.html +1 -4
- package/SVF-doxygen/html/html/globals_s.html +3 -6
- package/SVF-doxygen/html/html/globals_v.html +1 -4
- package/SVF-doxygen/html/html/globals_vars.html +22 -55
- package/SVF-doxygen/html/html/menudata.js +0 -1
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +4 -4
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +2 -3
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +9 -15
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +0 -1
- package/SVF-doxygen/html/html/search/all_1.js +6 -3
- package/SVF-doxygen/html/html/search/all_10.js +7 -6
- package/SVF-doxygen/html/html/search/all_11.js +3 -1
- package/SVF-doxygen/html/html/search/all_12.js +10 -9
- package/SVF-doxygen/html/html/search/all_13.js +6 -6
- package/SVF-doxygen/html/html/search/all_15.js +3 -4
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +8 -5
- package/SVF-doxygen/html/html/search/all_5.js +2 -1
- package/SVF-doxygen/html/html/search/all_6.js +3 -4
- package/SVF-doxygen/html/html/search/all_7.js +7 -5
- package/SVF-doxygen/html/html/search/all_9.js +6 -4
- package/SVF-doxygen/html/html/search/all_c.js +4 -5
- package/SVF-doxygen/html/html/search/all_d.js +1 -2
- package/SVF-doxygen/html/html/search/all_e.js +4 -3
- package/SVF-doxygen/html/html/search/all_f.js +3 -2
- package/SVF-doxygen/html/html/search/functions_0.js +4 -1
- package/SVF-doxygen/html/html/search/functions_10.js +2 -0
- package/SVF-doxygen/html/html/search/functions_11.js +1 -0
- package/SVF-doxygen/html/html/search/functions_2.js +3 -2
- package/SVF-doxygen/html/html/search/functions_6.js +3 -0
- package/SVF-doxygen/html/html/search/functions_8.js +2 -1
- package/SVF-doxygen/html/html/search/functions_f.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_2.js +2 -0
- package/SVF-doxygen/html/html/search/variables_0.js +0 -1
- package/SVF-doxygen/html/html/search/variables_1.js +1 -2
- package/SVF-doxygen/html/html/search/variables_12.js +1 -2
- package/SVF-doxygen/html/html/search/variables_13.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -2
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +2 -1
- package/SVF-doxygen/html/html/search/variables_6.js +1 -2
- package/SVF-doxygen/html/html/search/variables_7.js +4 -5
- package/SVF-doxygen/html/html/search/variables_9.js +2 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -3
- package/SVF-doxygen/html/html/search/variables_d.js +0 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -2
- package/SVF-doxygen/html/html/search/variables_f.js +1 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +4 -4
- 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/CFLBase.h +2 -0
- package/include/CFL/CFLGrammar.h +13 -0
- package/include/CFL/CFLGrammar.txt +9 -33
- package/include/CFL/CFLSolver.h +8 -0
- package/include/CFL/CFLStat.h +3 -13
- package/include/Graphs/CFLGraph.h +69 -0
- package/lib/CFL/CFGNormalizer.cpp +1 -0
- package/lib/CFL/CFLAlias.cpp +5 -0
- package/lib/CFL/CFLGrammar.cpp +34 -1
- package/lib/CFL/CFLSolver.cpp +58 -45
- package/lib/CFL/CFLStat.cpp +20 -66
- package/package.json +1 -1
|
@@ -94,6 +94,10 @@ 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:a51b55df841ae449ecf0888325c6e8c6a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><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> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">getEBNFSigns</a> ()</td></tr>
|
|
98
|
+
<tr class="separator:a51b55df841ae449ecf0888325c6e8c6a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
+
<tr class="memitem:ad87ca88d62e7bc3a189652c707a72e12 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#ad87ca88d62e7bc3a189652c707a72e12">setEBNFSigns</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#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>)</td></tr>
|
|
100
|
+
<tr class="separator:ad87ca88d62e7bc3a189652c707a72e12 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
101
|
<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
102
|
<tr class="separator:a4561438149716c91178ea013686f66ae inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
103
|
<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>
|
|
@@ -139,6 +143,8 @@ Public Member Functions</h2></td></tr>
|
|
|
139
143
|
<tr class="separator:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
140
144
|
<tr class="memitem:a7583350e892c62a454de8a8317e4c1b8 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#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
141
145
|
<tr class="separator:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
146
|
+
<tr class="memitem:a2af19122bccb7ca0c7ab44a07a1bdfb1 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#a2af19122bccb7ca0c7ab44a07a1bdfb1">insertEBNFSigns</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
147
|
+
<tr class="separator:a2af19122bccb7ca0c7ab44a07a1bdfb1 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
142
148
|
<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>
|
|
143
149
|
<tr class="separator:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
144
150
|
<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>
|
|
@@ -230,7 +236,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
230
236
|
</table>
|
|
231
237
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
232
238
|
<div class="textblock">
|
|
233
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
239
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00290">290</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
234
240
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
235
241
|
<a id="ad124b5e229216515b34b8d9b5d04e067"></a>
|
|
236
242
|
<h2 class="memtitle"><span class="permalink"><a href="#ad124b5e229216515b34b8d9b5d04e067">◆ </a></span>CFLGrammar()</h2>
|
|
@@ -247,8 +253,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
247
253
|
</table>
|
|
248
254
|
</div><div class="memdoc">
|
|
249
255
|
|
|
250
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#
|
|
251
|
-
<div class="fragment"><div class="line"><a name="
|
|
256
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00341">341</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
257
|
+
<div class="fragment"><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>  <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a> = 0;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</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#l00398">CFLGrammar.h:398</a></div></div>
|
|
252
258
|
</div><!-- fragment -->
|
|
253
259
|
</div>
|
|
254
260
|
</div>
|
|
@@ -279,8 +285,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
279
285
|
|
|
280
286
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
281
287
|
|
|
282
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
283
|
-
<div class="fragment"><div class="line"><a name="
|
|
288
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00298">298</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
289
|
+
<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div></div><!-- fragment -->
|
|
284
290
|
</div>
|
|
285
291
|
</div>
|
|
286
292
|
<a id="a25b035e49e90f42a44f7f6173a4bfdaf"></a>
|
|
@@ -307,8 +313,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
307
313
|
</table>
|
|
308
314
|
</div><div class="memdoc">
|
|
309
315
|
|
|
310
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
311
|
-
<div class="fragment"><div class="line"><a name="
|
|
316
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00303">303</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
317
|
+
<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div></div><!-- fragment -->
|
|
312
318
|
</div>
|
|
313
319
|
</div>
|
|
314
320
|
<a id="aa663563ea03e11371d67ff4673e98a54"></a>
|
|
@@ -326,8 +332,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
326
332
|
</table>
|
|
327
333
|
</div><div class="memdoc">
|
|
328
334
|
|
|
329
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#
|
|
330
|
-
<div class="fragment"><div class="line"><a name="
|
|
335
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00346">346</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
336
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span> {</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</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="l00349"></a><span class="lineno"> 349</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#l00346">CFLGrammar.cpp:346</a></div></div>
|
|
331
337
|
</div><!-- fragment -->
|
|
332
338
|
</div>
|
|
333
339
|
</div>
|
|
@@ -347,13 +353,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
347
353
|
</table>
|
|
348
354
|
</div><div class="memdoc">
|
|
349
355
|
|
|
350
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#
|
|
351
|
-
<div class="fragment"><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>  std::ofstream gramFile(fileName);</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</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="l00323"></a><span class="lineno"> 323</span> </div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  std::vector<std::string> strV;</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</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="l00327"></a><span class="lineno"> 327</span>  {</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  std::stringstream ss;</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</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>  <span class="keywordflow">if</span> (sym == pro[1])</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>  ss << <span class="stringliteral">"-> "</span>;</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>  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="l00336"></a><span class="lineno"> 336</span>  }</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  strV.insert(strV.begin(), ss.str());</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>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  {</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  gramFile << pro;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  gramFile << <span class="charliteral">'\n'</span>;</div><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>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span> </div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  strV = {};</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</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="l00351"></a><span class="lineno"> 351</span>  {</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  {</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  std::stringstream ss;</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  {</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  i++;</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keywordflow">if</span> (i == 2)</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 << <span class="stringliteral">"-> "</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>  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="l00364"></a><span class="lineno"> 364</span>  }</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  }</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  {</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  gramFile << pro;</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 << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span> </div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  strV = {};</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</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="l00380"></a><span class="lineno"> 380</span>  {</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  {</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  std::stringstream ss;</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  i++;</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span> </div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div><div class="line"><a name="l00393"></a><span class="lineno"> 393</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="l00394"></a><span class="lineno"> 394</span>  }</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  }</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  {</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  gramFile << pro;</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  }</div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span> </div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  gramFile.close();</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</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#l00383">CFLGrammar.h:383</a></div></div>
|
|
352
|
-
<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#
|
|
353
|
-
<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#
|
|
354
|
-
<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#
|
|
355
|
-
<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#
|
|
356
|
-
<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#
|
|
356
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00351">351</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
|
|
357
|
+
<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span> {</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  std::ofstream gramFile(fileName);</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</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="l00356"></a><span class="lineno"> 356</span> </div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  std::vector<std::string> strV;</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</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="l00360"></a><span class="lineno"> 360</span>  {</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  std::stringstream ss;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">if</span> (sym == pro[1])</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>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  }</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</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="l00369"></a><span class="lineno"> 369</span>  }</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</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 << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  gramFile << pro;</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  gramFile << <span class="charliteral">'\n'</span>;</div><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>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span> </div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  strV = {};</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</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="l00384"></a><span class="lineno"> 384</span>  {</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  std::stringstream ss;</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  i++;</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">if</span> (i == 2)</div><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>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  }</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</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="l00397"></a><span class="lineno"> 397</span>  }</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  }</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  }</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  {</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  gramFile << pro;</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span> </div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  strV = {};</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</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="l00413"></a><span class="lineno"> 413</span>  {</div><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  std::stringstream ss;</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  {</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  i++;</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span> </div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  {</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  ss << <span class="stringliteral">"-> "</span>;</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  }</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</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="l00427"></a><span class="lineno"> 427</span>  }</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  }</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  }</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  {</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  gramFile << <span class="charliteral">'\t'</span>;</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  gramFile << pro;</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  gramFile << <span class="charliteral">'\n'</span>;</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span> </div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  gramFile.close();</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</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#l00396">CFLGrammar.h:396</a></div></div>
|
|
358
|
+
<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#l00103">CFLGrammar.cpp:103</a></div></div>
|
|
359
|
+
<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#l00395">CFLGrammar.h:395</a></div></div>
|
|
360
|
+
<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#l00279">CFLGrammar.h:279</a></div></div>
|
|
361
|
+
<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#l00394">CFLGrammar.h:394</a></div></div>
|
|
362
|
+
<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#l00139">CFLGrammar.cpp:139</a></div></div>
|
|
357
363
|
</div><!-- fragment -->
|
|
358
364
|
</div>
|
|
359
365
|
</div>
|
|
@@ -380,8 +386,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
380
386
|
</table>
|
|
381
387
|
</div><div class="memdoc">
|
|
382
388
|
|
|
383
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
384
|
-
<div class="fragment"><div class="line"><a name="
|
|
389
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00308">308</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
390
|
+
<div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</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#l00394">CFLGrammar.h:394</a></div></div>
|
|
385
391
|
</div><!-- fragment -->
|
|
386
392
|
</div>
|
|
387
393
|
</div>
|
|
@@ -408,8 +414,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
408
414
|
</table>
|
|
409
415
|
</div><div class="memdoc">
|
|
410
416
|
|
|
411
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
412
|
-
<div class="fragment"><div class="line"><a name="
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00318">318</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
418
|
+
<div class="fragment"><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">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</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#l00396">CFLGrammar.h:396</a></div></div>
|
|
413
419
|
</div><!-- fragment -->
|
|
414
420
|
</div>
|
|
415
421
|
</div>
|
|
@@ -437,8 +443,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
437
443
|
</table>
|
|
438
444
|
</div><div class="memdoc">
|
|
439
445
|
|
|
440
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
441
|
-
<div class="fragment"><div class="line"><a name="
|
|
446
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00373">373</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
447
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div></div><!-- fragment -->
|
|
442
448
|
</div>
|
|
443
449
|
</div>
|
|
444
450
|
<a id="a3cfce0e2282c63679d6e7835e19ad5ec"></a>
|
|
@@ -465,8 +471,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
465
471
|
</table>
|
|
466
472
|
</div><div class="memdoc">
|
|
467
473
|
|
|
468
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
469
|
-
<div class="fragment"><div class="line"><a name="
|
|
474
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00368">368</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
475
|
+
<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  {</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div></div><!-- fragment -->
|
|
470
476
|
</div>
|
|
471
477
|
</div>
|
|
472
478
|
<a id="ac167616ad6e48161b0cb890107145ffa"></a>
|
|
@@ -493,8 +499,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
493
499
|
</table>
|
|
494
500
|
</div><div class="memdoc">
|
|
495
501
|
|
|
496
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
497
|
-
<div class="fragment"><div class="line"><a name="
|
|
502
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00353">353</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
503
|
+
<div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  assert(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="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</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#l00396">CFLGrammar.h:396</a></div></div>
|
|
498
504
|
</div><!-- fragment -->
|
|
499
505
|
</div>
|
|
500
506
|
</div>
|
|
@@ -522,8 +528,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
522
528
|
</table>
|
|
523
529
|
</div><div class="memdoc">
|
|
524
530
|
|
|
525
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
526
|
-
<div class="fragment"><div class="line"><a name="
|
|
531
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00360">360</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
532
|
+
<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  {</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</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="l00363"></a><span class="lineno"> 363</span>  assert(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="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</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#l00397">CFLGrammar.h:397</a></div></div>
|
|
527
533
|
</div><!-- fragment -->
|
|
528
534
|
</div>
|
|
529
535
|
</div>
|
|
@@ -551,8 +557,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
551
557
|
</table>
|
|
552
558
|
</div><div class="memdoc">
|
|
553
559
|
|
|
554
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
555
|
-
<div class="fragment"><div class="line"><a name="
|
|
560
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00346">346</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
561
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</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="l00349"></a><span class="lineno"> 349</span>  assert(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="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</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#l00395">CFLGrammar.h:395</a></div></div>
|
|
556
562
|
</div><!-- fragment -->
|
|
557
563
|
</div>
|
|
558
564
|
</div>
|
|
@@ -579,8 +585,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
579
585
|
</table>
|
|
580
586
|
</div><div class="memdoc">
|
|
581
587
|
|
|
582
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
583
|
-
<div class="fragment"><div class="line"><a name="
|
|
588
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00323">323</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
589
|
+
<div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  {</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</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#l00397">CFLGrammar.h:397</a></div></div>
|
|
584
590
|
</div><!-- fragment -->
|
|
585
591
|
</div>
|
|
586
592
|
</div>
|
|
@@ -608,8 +614,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
608
614
|
</table>
|
|
609
615
|
</div><div class="memdoc">
|
|
610
616
|
|
|
611
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
612
|
-
<div class="fragment"><div class="line"><a name="
|
|
617
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00378">378</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
618
|
+
<div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  {</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div></div><!-- fragment -->
|
|
613
619
|
</div>
|
|
614
620
|
</div>
|
|
615
621
|
<a id="afefc9b90be5cf275f476bb7c3f1c74ce"></a>
|
|
@@ -635,8 +641,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
635
641
|
</table>
|
|
636
642
|
</div><div class="memdoc">
|
|
637
643
|
|
|
638
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
639
|
-
<div class="fragment"><div class="line"><a name="
|
|
644
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00313">313</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
645
|
+
<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</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#l00395">CFLGrammar.h:395</a></div></div>
|
|
640
646
|
</div><!-- fragment -->
|
|
641
647
|
</div>
|
|
642
648
|
</div>
|
|
@@ -664,8 +670,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
664
670
|
</table>
|
|
665
671
|
</div><div class="memdoc">
|
|
666
672
|
|
|
667
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
668
|
-
<div class="fragment"><div class="line"><a name="
|
|
673
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00328">328</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
674
|
+
<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  {</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</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="l00331"></a><span class="lineno"> 331</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="l00332"></a><span class="lineno"> 332</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#l00396">CFLGrammar.h:396</a></div></div>
|
|
669
675
|
</div><!-- fragment -->
|
|
670
676
|
</div>
|
|
671
677
|
</div>
|
|
@@ -693,8 +699,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
693
699
|
</table>
|
|
694
700
|
</div><div class="memdoc">
|
|
695
701
|
|
|
696
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
697
|
-
<div class="fragment"><div class="line"><a name="
|
|
702
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00340">340</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
703
|
+
<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  {</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</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="l00343"></a><span class="lineno"> 343</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="l00344"></a><span class="lineno"> 344</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#l00397">CFLGrammar.h:397</a></div></div>
|
|
698
704
|
</div><!-- fragment -->
|
|
699
705
|
</div>
|
|
700
706
|
</div>
|
|
@@ -722,8 +728,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
722
728
|
</table>
|
|
723
729
|
</div><div class="memdoc">
|
|
724
730
|
|
|
725
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
726
|
-
<div class="fragment"><div class="line"><a name="
|
|
731
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00334">334</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
732
|
+
<div class="fragment"><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>  <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="l00337"></a><span class="lineno"> 337</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="l00338"></a><span class="lineno"> 338</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#l00395">CFLGrammar.h:395</a></div></div>
|
|
727
733
|
</div><!-- fragment -->
|
|
728
734
|
</div>
|
|
729
735
|
</div>
|
|
@@ -750,8 +756,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
750
756
|
</table>
|
|
751
757
|
</div><div class="memdoc">
|
|
752
758
|
|
|
753
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
754
|
-
<div class="fragment"><div class="line"><a name="
|
|
759
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00388">388</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
760
|
+
<div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>++;</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</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#l00398">CFLGrammar.h:398</a></div></div>
|
|
755
761
|
</div><!-- fragment -->
|
|
756
762
|
</div>
|
|
757
763
|
</div>
|
|
@@ -776,7 +782,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
776
782
|
</table>
|
|
777
783
|
</div><div class="memdoc">
|
|
778
784
|
|
|
779
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
785
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00394">394</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
780
786
|
|
|
781
787
|
</div>
|
|
782
788
|
</div>
|
|
@@ -800,7 +806,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
800
806
|
</table>
|
|
801
807
|
</div><div class="memdoc">
|
|
802
808
|
|
|
803
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
809
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00396">396</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
804
810
|
|
|
805
811
|
</div>
|
|
806
812
|
</div>
|
|
@@ -824,7 +830,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
824
830
|
</table>
|
|
825
831
|
</div><div class="memdoc">
|
|
826
832
|
|
|
827
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
833
|
+
<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>
|
|
828
834
|
|
|
829
835
|
</div>
|
|
830
836
|
</div>
|
|
@@ -848,7 +854,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
848
854
|
</table>
|
|
849
855
|
</div><div class="memdoc">
|
|
850
856
|
|
|
851
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
857
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00397">397</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
852
858
|
|
|
853
859
|
</div>
|
|
854
860
|
</div>
|
|
@@ -872,7 +878,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
872
878
|
</table>
|
|
873
879
|
</div><div class="memdoc">
|
|
874
880
|
|
|
875
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#
|
|
881
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00395">395</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
|
|
876
882
|
|
|
877
883
|
</div>
|
|
878
884
|
</div>
|