public class SimplifyTermStrategy extends JavaCardDLStrategy
Modifier and Type | Class and Description |
---|---|
static class |
SimplifyTermStrategy.Factory
The
StrategyFactory to create instances of SimplifyTermStrategy . |
Modifier and Type | Field and Description |
---|---|
static Name |
name
|
JAVA_CARD_DL_STRATEGY, strategyProperties
Modifier and Type | Method and Description |
---|---|
Name |
name()
returns the name of this element
|
protected Feature |
setupApprovalF() |
arithDefOps, computeCost, getCostComputationDispatcher, getInstantiationDispatcher, getServices, instantiateApp, isApprovedApp, isStopAtFirstNonCloseableGoal, setupGlobalF
bindRuleSet, bindRuleSet, bindRuleSet, bindRuleSet, clearRuleSetBindings, clearRuleSetBindings, disableInstantiate, enableInstantiate, forEach, getFilterFor, getHeuristic, getProof, ifHeuristics, ifHeuristics, ifHeuristics, instantiate, instantiate, instantiateApp, instantiateTriggeredVariable, oneOf, oneOf
add, add, add, add, add, any, applyTF, applyTF, applyTFNonStrict, applyTFNonStrict, atomSmallerThan, blockContractExternalFeature, blockContractInternalFeature, c, contains, countOccurrences, eq, eq, eq, extendsTrans, ifZero, ifZero, ifZero, ifZero, implicitCastNecessary, inftyConst, inftyTermConst, instOf, instOfNonStrict, instOfTriggerVariable, isInstantiated, isSubSortFeature, isTriggerVariableInstantiated, leq, less, let, literalsSmallerThan, longConst, longTermConst, loopContractApplyHead, loopContractExternalFeature, loopContractInternalFeature, loopInvFeature, mergeRuleFeature, methodSpecFeature, monSmallerThan, not, not, op, opSub, opSub, opTerm, opTerm, opTerm, or, or, or, or, or, println, querySpecFeature, rec, sequentContainsNoPrograms, sub, sub, sub, subAt, sum, termSmallerThan
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
public static final Name name
public Name name()
name
in interface Named
name
in class JavaCardDLStrategy
protected Feature setupApprovalF()
setupApprovalF
in class JavaCardDLStrategy
Copyright © 2003-2019 The KeY-Project.