analysis

Class AnalysisSettings

java.lang.Object

analysis.AnalysisSettings

public class AnalysisSettings
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AnalysisSettings.EpsilonLoopRemovalStrategy
static class	AnalysisSettings.NFAConstruction
static class	AnalysisSettings.PreprocessingType
static class	AnalysisSettings.PriorityRemovalStrategy

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
AnalysisSettings.EpsilonLoopRemovalStrategy	getEpsilonLoopRemovalStrategy()
AnalysisSettings.NFAConstruction	getNFAConstruction()
AnalysisSettings.PreprocessingType	getPreprocessingType()
AnalysisSettings.PriorityRemovalStrategy	getPriorityRemovalStrategy()
boolean	getShouldConstructEdaExploitString()
boolean	getShouldConstructIdaExploitString()
boolean	getShouldTestExploitString()
boolean	getShouldTestIDA()
int	getTimeout()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnalysisSettings

public AnalysisSettings(AnalysisSettings.NFAConstruction nfaConstruction,
                        AnalysisSettings.PreprocessingType preprocessingType,
                        AnalysisSettings.EpsilonLoopRemovalStrategy epsilonLoopRemovalStrategy,
                        AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy,
                        boolean shouldTestIDA,
                        boolean shouldConstructEdaExploitString,
                        boolean shouldTestEdaExploitString,
                        boolean shouldConstructIdaExploitString,
                        int timeout)

Method Detail

getNFAConstruction

public AnalysisSettings.NFAConstruction getNFAConstruction()

getPreprocessingType

public AnalysisSettings.PreprocessingType getPreprocessingType()

getEpsilonLoopRemovalStrategy

public AnalysisSettings.EpsilonLoopRemovalStrategy getEpsilonLoopRemovalStrategy()

getPriorityRemovalStrategy

public AnalysisSettings.PriorityRemovalStrategy getPriorityRemovalStrategy()

getShouldTestIDA

public boolean getShouldTestIDA()

getShouldConstructEdaExploitString

public boolean getShouldConstructEdaExploitString()

getShouldTestExploitString

public boolean getShouldTestExploitString()

getShouldConstructIdaExploitString

public boolean getShouldConstructIdaExploitString()

getTimeout

public int getTimeout()