analysis

Class AnalysisResults

java.lang.Object

analysis.AnalysisResults

Direct Known Subclasses:

IdaAnalysisResults, NFAAnalyserInterface.EdaAnalysisResultsESCC, NFAAnalyserInterface.EdaAnalysisResultsFilter, NFAAnalyserInterface.EdaAnalysisResultsNoEda, NFAAnalyserInterface.EdaAnalysisResultsParallel

public abstract class AnalysisResults
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected NFAGraph	originalGraph

Constructor Summary

Constructors

Constructor and Description
AnalysisResults(NFAGraph originalGraph)

Method Summary

Modifier and Type	Method and Description
NFAGraph	getOriginalGraph()

Methods inherited from class java.lang.Object

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

Field Detail

originalGraph

protected final NFAGraph originalGraph

Constructor Detail

AnalysisResults

public AnalysisResults(NFAGraph originalGraph)

Method Detail

getOriginalGraph

public NFAGraph getOriginalGraph()