public abstract class IdaAnalysisResults extends AnalysisResults
| Modifier and Type | Field and Description |
|---|---|
analysis.IdaAnalysisResults.IdaCases |
idaCase |
originalGraph| Modifier | Constructor and Description |
|---|---|
protected |
IdaAnalysisResults(NFAGraph originalGraph,
analysis.IdaAnalysisResults.IdaCases idaCase) |
| Modifier and Type | Method and Description |
|---|---|
AnalysisSettings.PriorityRemovalStrategy |
getPriorityRemovalStrategy() |
void |
setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
getOriginalGraphprotected IdaAnalysisResults(NFAGraph originalGraph, analysis.IdaAnalysisResults.IdaCases idaCase)
public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()
public void setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)
Copyright © 2021. All rights reserved.