analysis

Class IdaAnalysisResults

java.lang.Object

analysis.AnalysisResults

analysis.IdaAnalysisResults

Direct Known Subclasses:

NFAAnalyserInterface.IdaAnalysisResultsIda, NFAAnalyserInterface.IdaAnalysisResultsNoIda

public abstract class IdaAnalysisResults
extends AnalysisResults

Field Summary

Fields

Modifier and Type	Field and Description
analysis.IdaAnalysisResults.IdaCases	idaCase

Fields inherited from class analysis.AnalysisResults

originalGraph

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IdaAnalysisResults(NFAGraph originalGraph, analysis.IdaAnalysisResults.IdaCases idaCase)

Method Summary

Modifier and Type	Method and Description
AnalysisSettings.PriorityRemovalStrategy	getPriorityRemovalStrategy()
void	setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)

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

Field Detail

idaCase

public final analysis.IdaAnalysisResults.IdaCases idaCase

Constructor Detail

IdaAnalysisResults

protected IdaAnalysisResults(NFAGraph originalGraph,
                             analysis.IdaAnalysisResults.IdaCases idaCase)

Method Detail

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

setPriorityRemovalStrategy

public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)