analysis

Class NFAAnalyserInterface.EdaAnalysisResultsFilter

java.lang.Object

analysis.AnalysisResults

analysis.NFAAnalyserInterface.EdaAnalysisResultsFilter

Enclosing interface:

NFAAnalyserInterface

public static final class NFAAnalyserInterface.EdaAnalysisResultsFilter
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
NFAVertexND	getEndState()
NFAGraph	getPcScc()
AnalysisSettings.PriorityRemovalStrategy	getPriorityRemovalStrategy()
NFAVertexND	getStartState()
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

getPcScc

public NFAGraph getPcScc()

getStartState

public NFAVertexND getStartState()

getEndState

public NFAVertexND getEndState()

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

setPriorityRemovalStrategy

public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)