analysis

Class NFAAnalyserInterface.EdaAnalysisResultsParallel

java.lang.Object

analysis.AnalysisResults

analysis.NFAAnalyserInterface.EdaAnalysisResultsParallel

Enclosing interface:

NFAAnalyserInterface

public static final class NFAAnalyserInterface.EdaAnalysisResultsParallel
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
NFAGraph	getMergedScc()
NFAEdge	getParallelEdge()
AnalysisSettings.PriorityRemovalStrategy	getPriorityRemovalStrategy()
NFAVertexND	getSourceVertex()
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

getMergedScc

public NFAGraph getMergedScc()

getSourceVertex

public NFAVertexND getSourceVertex()

getParallelEdge

public NFAEdge getParallelEdge()

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

setPriorityRemovalStrategy

public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)