Strategies (Attestor 0.3.5-SEFM2018 API)

Constructors
Modifier	Constructor and Description
`protected`	`Strategies()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`AbortStrategy`	`getAbortStrategy()`
`CanonicalizationStrategy`	`getAggressiveCanonicalizationStrategy()`
`CanonicalizationStrategy`	`getCanonicalizationStrategy()`
`MaterializationStrategy`	`getMaterializationStrategy()`
`StateLabelingStrategy`	`getStateLabelingStrategy()`
`StateRectificationStrategy`	`getStateRectificationStrategy()`
`StateRefinementStrategy`	`getStateRefinementStrategy()`
`boolean`	`isAlwaysCanonicalize()`
`void`	`setAbortStrategy(AbortStrategy abortStrategy)`
`void`	`setAggressiveCanonicalizationStrategy(CanonicalizationStrategy aggressiveCanonicalizationStrategy)`
`void`	`setAlwaysCanonicalize(boolean alwaysCanonicalize)`
`void`	`setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)`
`void`	`setMaterializationStrategy(MaterializationStrategy materializationStrategy)`
`void`	`setStateLabelingStrategy(StateLabelingStrategy stateLabelingStrategy)`
`void`	`setStateRectificationStrategy(StateRectificationStrategy stateRectificationStrategy)`
`void`	`setStateRefinementStrategy(StateRefinementStrategy stateRefinementStrategy)`

public MaterializationStrategy getMaterializationStrategy()

public void setMaterializationStrategy(MaterializationStrategy materializationStrategy)

public CanonicalizationStrategy getAggressiveCanonicalizationStrategy()

public void setAggressiveCanonicalizationStrategy(CanonicalizationStrategy aggressiveCanonicalizationStrategy)

public AbortStrategy getAbortStrategy()

public void setAbortStrategy(AbortStrategy abortStrategy)

public StateLabelingStrategy getStateLabelingStrategy()

public void setStateLabelingStrategy(StateLabelingStrategy stateLabelingStrategy)

public StateRefinementStrategy getStateRefinementStrategy()

public void setStateRefinementStrategy(StateRefinementStrategy stateRefinementStrategy)

public CanonicalizationStrategy getCanonicalizationStrategy()

public void setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)

public StateRectificationStrategy getStateRectificationStrategy()

public void setStateRectificationStrategy(StateRectificationStrategy stateRectificationStrategy)

public void setAlwaysCanonicalize(boolean alwaysCanonicalize)

Class Strategies