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 | Constructor and Description |
|---|---|
private |
SimplifyTermStrategy(Proof proof,
StrategyProperties sp)
Constructor.
|
| 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, setupGlobalFbindRuleSet, bindRuleSet, bindRuleSet, bindRuleSet, clearRuleSetBindings, clearRuleSetBindings, disableInstantiate, enableInstantiate, forEach, getFilterFor, getHeuristic, getProof, ifHeuristics, ifHeuristics, ifHeuristics, instantiate, instantiate, instantiateApp, instantiateTriggeredVariable, oneOf, oneOfadd, 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, termSmallerThanclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitupdateStrategySettingspublic static final Name name
private SimplifyTermStrategy(Proof proof, StrategyProperties sp)
proof - The proof.sp - The StrategyProperties to use.public Name name()
name in interface Namedname in class JavaCardDLStrategyprotected Feature setupApprovalF()
setupApprovalF in class JavaCardDLStrategy