de.rwth.i2.attestor.main.scene

Class Options

java.lang.Object

de.rwth.i2.attestor.main.scene.Options

public class Options
extends Object

Collects all options that customize the state space generation.

Author:

Hannah Arndt, Christoph

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Options()

Method Summary

Modifier and Type	Method and Description
int	getMaxHeap()
int	getMaxStateSpace()
boolean	isAdmissibleAbstractionEnabled()
boolean	isAdmissibleConstantsEnabled()
boolean	isAdmissibleFullEnabled()
boolean	isAdmissibleMarkingsEnabled()
boolean	isCanonicalEnabled()
boolean	isChainAbstractionEnabled()
boolean	isGarbageCollectionEnabled()
boolean	isGrammarRefinementEnabled()
boolean	isIndexedMode()
boolean	isPostprocessingEnabled()
boolean	isRemoveDeadVariables()
boolean	isRuleCollapsingEnabled()
void	setAdmissibleAbstractionEnabled(boolean admissibleAbstractionEnabled)
void	setAdmissibleConstantsEnabled(boolean admissibleConstantsEnabled)
void	setAdmissibleFullEnabled(boolean admissibleFullEnabled)
void	setAdmissibleMarkingsEnabled(boolean admissibleMarkingsEnabled)
void	setCanonicalEnabled(boolean canonicalEnabled)
void	setChainAbstractionEnabled(boolean chainAbstractionEnabled)
void	setGarbageCollectionEnabled(boolean enabled)
void	setGrammarRefinementEnabled(boolean enabled)
void	setIndexedModeEnabled(boolean indexedModeEnabled)
void	setMaxHeap(int maxHeap)
void	setMaxStateSpace(int maxStateSpace)
void	setPostProcessingEnabled(boolean enabled)
void	setRemoveDeadVariables(boolean removeDeadVariables)
void	setRuleCollapsingEnabled(boolean ruleCollapsingEnabled)

Methods inherited from class java.lang.Object

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

Constructor Detail

Options

protected Options()

Method Detail

setPostProcessingEnabled

public void setPostProcessingEnabled(boolean enabled)

setRemoveDeadVariables

public void setRemoveDeadVariables(boolean removeDeadVariables)

setGrammarRefinementEnabled

public void setGrammarRefinementEnabled(boolean enabled)

setGarbageCollectionEnabled

public void setGarbageCollectionEnabled(boolean enabled)

setAdmissibleAbstractionEnabled

public void setAdmissibleAbstractionEnabled(boolean admissibleAbstractionEnabled)

setAdmissibleConstantsEnabled

public void setAdmissibleConstantsEnabled(boolean admissibleConstantsEnabled)

setAdmissibleMarkingsEnabled

public void setAdmissibleMarkingsEnabled(boolean admissibleMarkingsEnabled)

setAdmissibleFullEnabled

public void setAdmissibleFullEnabled(boolean admissibleFullEnabled)

setChainAbstractionEnabled

public void setChainAbstractionEnabled(boolean chainAbstractionEnabled)

setRuleCollapsingEnabled

public void setRuleCollapsingEnabled(boolean ruleCollapsingEnabled)

setIndexedModeEnabled

public void setIndexedModeEnabled(boolean indexedModeEnabled)

setCanonicalEnabled

public void setCanonicalEnabled(boolean canonicalEnabled)

setMaxStateSpace

public void setMaxStateSpace(int maxStateSpace)

setMaxHeap

public void setMaxHeap(int maxHeap)

getMaxStateSpace

public int getMaxStateSpace()

getMaxHeap

public int getMaxHeap()

isRemoveDeadVariables

public boolean isRemoveDeadVariables()

isPostprocessingEnabled

public boolean isPostprocessingEnabled()

isIndexedMode

public boolean isIndexedMode()

isGrammarRefinementEnabled

public boolean isGrammarRefinementEnabled()

isCanonicalEnabled

public boolean isCanonicalEnabled()

isRuleCollapsingEnabled

public boolean isRuleCollapsingEnabled()

isGarbageCollectionEnabled

public boolean isGarbageCollectionEnabled()

isChainAbstractionEnabled

public boolean isChainAbstractionEnabled()

isAdmissibleMarkingsEnabled

public boolean isAdmissibleMarkingsEnabled()

isAdmissibleConstantsEnabled

public boolean isAdmissibleConstantsEnabled()

isAdmissibleFullEnabled

public boolean isAdmissibleFullEnabled()

isAdmissibleAbstractionEnabled

public boolean isAdmissibleAbstractionEnabled()