protected IdaAnalysisResults |
NFAAnalyserMerging.calculateIdaAnalysisResults(NFAGraph originalM) |
protected IdaAnalysisResults |
NFAAnalyserFlattening.calculateIdaAnalysisResults(NFAGraph originalM) |
protected abstract IdaAnalysisResults |
NFAAnalyser.calculateIdaAnalysisResults(NFAGraph originalM) |
protected IdaAnalysisResults |
NFAAnalyserMerging.calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM) |
protected IdaAnalysisResults |
NFAAnalyserFlattening.calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM) |
protected abstract IdaAnalysisResults |
NFAAnalyser.calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM) |
IdaAnalysisResults |
NFAAnalyserInterface.getIdaAnalysisResults(NFAGraph m) |
IdaAnalysisResults |
NFAAnalyser.getIdaAnalysisResults(NFAGraph m) |
protected IdaAnalysisResults |
NFAAnalyser.idaTestCaseFilter(NFAGraph originalM,
NFAGraph flat) |
protected IdaAnalysisResults |
NFAAnalyser.idaUnprioritisedAnalysis(NFAGraph m) |