| Package | Description |
|---|---|
| analysis |
| Modifier and Type | Field and Description |
|---|---|
protected AnalysisSettings.PriorityRemovalStrategy |
NFAAnalyser.priorityRemovalStrategy |
| Modifier and Type | Method and Description |
|---|---|
AnalysisSettings.PriorityRemovalStrategy |
IdaAnalysisResults.getPriorityRemovalStrategy() |
AnalysisSettings.PriorityRemovalStrategy |
AnalysisSettings.getPriorityRemovalStrategy() |
static AnalysisSettings.PriorityRemovalStrategy |
AnalysisSettings.PriorityRemovalStrategy.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AnalysisSettings.PriorityRemovalStrategy[] |
AnalysisSettings.PriorityRemovalStrategy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
IdaAnalysisResults.setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
| Constructor and Description |
|---|
AnalysisSettings(AnalysisSettings.NFAConstruction nfaConstruction,
AnalysisSettings.PreprocessingType preprocessingType,
AnalysisSettings.EpsilonLoopRemovalStrategy epsilonLoopRemovalStrategy,
AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy,
boolean shouldTestIDA,
boolean shouldConstructEdaExploitString,
boolean shouldTestEdaExploitString,
boolean shouldConstructIdaExploitString,
int timeout) |
NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
NFAAnalyserFlattening(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
NFAAnalyserMerging(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
Copyright © 2021. All rights reserved.