de.uka.ilkd.key.strategy.feature

Interfaces

• Feature

Classes

• AbstractBetaFeature
• AbstractBetaFeature.MaxDPathHelper
• AbstractBetaFeature.MaxPathHelper
• AbstractBetaFeature.MaxPosPathHelper
• AbstractBetaFeature.TermInfo
• AbstractMonomialSmallerThanFeature
• AbstractNonDuplicateAppFeature
• AbstractPolarityFeature
• AgeFeature
• AllowedCutPositionFeature
• ApplyTFFeature
• AtomsSmallerThanFeature
• AutomatedRuleFeature
• BinaryFeature
• BinaryTacletAppFeature
• CheckApplyEqFeature
• CompareCostsFeature
• ComprehendedSumFeature
• ConditionalFeature
• ConstFeature
• ContainsQuantifierFeature
• ContainsTermFeature
• CountBranchFeature
• CountMaxDPathFeature
• CountPosDPathFeature
• DeleteMergePointRuleFeature
• DependencyContractFeature
• DiffFindAndIfFeature
• DiffFindAndReplacewithFeature
• DirectlyBelowFeature
• DirectlyBelowSymbolFeature
• EqNonDuplicateAppFeature
• FindDepthFeature
• FindRightishFeature
• FocusInAntecFeature
• FocusIsSubFormulaOfInfFlowContractAppFeature
• FormulaAddedByRuleFeature
• IfThenElseMalusFeature
• ImplicitCastNecessary
• InEquationMultFeature
• InfFlowContractAppFeature
• InstantiatedSVFeature
• LeftmostNegAtomFeature
• LetFeature
• MatchedIfFeature
• MergeRuleFeature
• MonomialsSmallerThanFeature
• NonDuplicateAppFeature
• NonDuplicateAppModPositionFeature
• NoSelfApplicationFeature
• NotBelowBinderFeature
• NotBelowQuantifierFeature
• NotInScopeOfModalityFeature
• OnlyInScopeOfQuantifiersFeature
• PolynomialValuesCmpFeature
• PrintFeature
• PurePosDPathFeature
• QueryExpandCost
• ReducibleMonomialsFeature
• RuleSetDispatchFeature
• ScaleFeature
• ScaleFeature.MultFeature
• SeqContainsExecutableCodeFeature
• SetsSmallerThanFeature
• ShannonFeature
• SimplifyBetaCandidateFeature
• SimplifyReplaceKnownCandidateFeature
• SmallerThanFeature
• SmallerThanFeature.Collector
• SortComparisonFeature
• SumFeature
• SVNeedsInstantiation
• TacletRequiringInstantiationFeature
• TermSmallerThanFeature
• ThrownExceptionFeature
• TopLevelFindFeature
• TopLevelFindFeature.TopLevelWithoutUpdate
• TopLevelFindFeature.TopLevelWithUpdate
• TriggerVarInstantiatedFeature
• TrivialMonomialLCRFeature

Enums

• AbstractBetaFeature.TermInfo.Candidate