analysis

Class NFAAnalyserInterface.IdaAnalysisResultsIda

java.lang.Object

analysis.AnalysisResults

analysis.IdaAnalysisResults

analysis.NFAAnalyserInterface.IdaAnalysisResultsIda

Enclosing interface:

NFAAnalyserInterface

public static final class NFAAnalyserInterface.IdaAnalysisResultsIda
extends IdaAnalysisResults

Field Summary

Fields inherited from class analysis.IdaAnalysisResults

idaCase

Fields inherited from class analysis.AnalysisResults

originalGraph

Method Summary

Modifier and Type	Method and Description
int	getDegree()
LinkedList<NFAEdge>	getMaxPath()

Methods inherited from class analysis.IdaAnalysisResults

getPriorityRemovalStrategy, setPriorityRemovalStrategy

Methods inherited from class analysis.AnalysisResults

getOriginalGraph

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getDegree

public int getDegree()

getMaxPath

public LinkedList<NFAEdge> getMaxPath()