public class YAnalyserOptions
extends java.lang.Object
Constructor and Description |
---|
YAnalyserOptions() |
public static YAnalyserOptions newAllDisabledOptions()
public static YAnalyserOptions newDefaultOptions()
public static YAnalyserOptions newAllEnabledOptions()
public boolean hasSelection()
public boolean isWofAnalysis()
public boolean isWofStructural()
public void enableWofStructural(boolean enable)
public boolean isWofBehavioural()
public void enableWofBehavioural(boolean enable)
public boolean isWofExtendedCoverabiity()
public void enableWofExtendedCoverabiity(boolean enable)
public java.lang.String getWofYawlExecutableLocation()
public void setWofYawlExecutableLocation(java.lang.String location)
public boolean isResetAnalysis()
public boolean isResetSoundness()
public void enableResetSoundness(boolean enable)
public boolean isResetWeakSoundness()
public void enableResetWeakSoundness(boolean enable)
public boolean isResetCancellation()
public void enableResetCancellation(boolean enable)
public boolean isResetOrJoin()
public void enableResetOrJoin(boolean enable)
public boolean isResetShowObservations()
public void enableResetShowObservations(boolean enable)
public boolean isResetOrjoinCycle()
public void enableResetOrjoinCycle(boolean enable)
public boolean isResetReductionRules()
public void enableResetReductionRules(boolean enable)
public boolean isYawlReductionRules()
public void enableYawlReductionRules(boolean enable)