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, 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
private SimplifyTermStrategy(Proof proof, StrategyProperties sp)
proof
- The proof.sp
- The StrategyProperties
to use.public Name name()
name
in interface Named
name
in class JavaCardDLStrategy
protected Feature setupApprovalF()
setupApprovalF
in class JavaCardDLStrategy