analysis

Class NFAAnalyserInterface.EdaAnalysisResultsESCC

java.lang.Object

analysis.AnalysisResults

analysis.NFAAnalyserInterface.EdaAnalysisResultsESCC

Enclosing interface:

NFAAnalyserInterface

public static final class NFAAnalyserInterface.EdaAnalysisResultsESCC
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
NFAEdge	getEntranceEdge()
NFAEdge	getExitEdge()
NFAGraph	getOriginalScc()
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

getOriginalScc

public NFAGraph getOriginalScc()

getEntranceEdge

public NFAEdge getEntranceEdge()

getExitEdge

public NFAEdge getExitEdge()

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

setPriorityRemovalStrategy

public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)