analysis

Class NFAAnalyserInterface.EdaAnalysisResultsNoEda

java.lang.Object

analysis.AnalysisResults

analysis.NFAAnalyserInterface.EdaAnalysisResultsNoEda

Enclosing interface:

NFAAnalyserInterface

public static final class NFAAnalyserInterface.EdaAnalysisResultsNoEda
extends AnalysisResults

Field Summary

Fields

Modifier and Type	Field and Description
analysis.EdaAnalysisResults.EdaCases	edaCase

Fields inherited from class analysis.AnalysisResults

originalGraph

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

edaCase

public final analysis.EdaAnalysisResults.EdaCases edaCase

Method Detail

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

setPriorityRemovalStrategy

public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)