public class SimplifyTermProfile extends JavaProfile
JavaProfile
used in side proofs to simplify a Term
.Modifier and Type | Field and Description |
---|---|
static SimplifyTermProfile |
defaultInstance
The default instance of this class.
|
static java.lang.String |
NAME
|
private static StrategyFactory |
SIDE_PROOF_FACTORY
The used
StrategyFactory of the SymbolicExecutionStrategy . |
DEFAULT, defaultInstancePermissions, NAME_WITH_PERMISSIONS
Constructor and Description |
---|
SimplifyTermProfile()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected ImmutableList<TermLabelManager.TermLabelConfiguration> |
computeTermLabelConfiguration()
Computes the
TermLabelManager.TermLabelConfiguration to use in this Profile . |
static SimplifyTermProfile |
getDefaultInstance()
Returns the default instance of this class.
|
StrategyFactory |
getDefaultStrategyFactory()
the default strategy factory to be used
|
protected ImmutableSet<StrategyFactory> |
getStrategyFactories() |
java.lang.String |
name()
the name of the profile
|
getDefaultInstance, getJustification, getOneStepSimpilifier, initBuiltInRules, isSpecificationInvolvedInRuleApp, withPermissions
computeSupportedGoalChooserBuilder, getDefaultGoalChooserBuilder, getDefaultProfile, getInternalClassDirectory, getInternalClasslistFilename, getSelectedGoalChooserBuilder, getStandardRules, getStrategyFactory, getTermLabelManager, initTermLabelManager, lookupGC, setDefaultProfile, setSelectedGoalChooserBuilder, supportedGoalChoosers, supportedStrategies, supportsStrategyFactory
public static final java.lang.String NAME
private static final StrategyFactory SIDE_PROOF_FACTORY
StrategyFactory
of the SymbolicExecutionStrategy
.public static SimplifyTermProfile defaultInstance
The default instance of this class.
It is typically used in the Thread
of the user interface.
Other instances of this class are typically only required to
use them in different Thread
s (not the UI Thread
).
protected ImmutableList<TermLabelManager.TermLabelConfiguration> computeTermLabelConfiguration()
TermLabelManager.TermLabelConfiguration
to use in this Profile
.computeTermLabelConfiguration
in class JavaProfile
TermLabelManager.TermLabelConfiguration
to use in this Profile
.protected ImmutableSet<StrategyFactory> getStrategyFactories()
getStrategyFactories
in class JavaProfile
public StrategyFactory getDefaultStrategyFactory()
getDefaultStrategyFactory
in interface Profile
getDefaultStrategyFactory
in class JavaProfile
public java.lang.String name()
name
in interface Profile
name
in class JavaProfile
public static SimplifyTermProfile getDefaultInstance()
Returns the default instance of this class.
It is typically used in the Thread
of the user interface.
Other instances of this class are typically only required to
use them in different Thread
s (not the UI Thread
).
Thread
of the user interface.