de.uka.ilkd.key.strategy.quantifierHeuristics
Interfaces
Constraint
Trigger
Classes
ClausesGraph
ClausesSmallerThanFeature
Constraint.Top
ConstraintAwareSyntacticalReplaceVisitor
EliminableQuantifierTF
EqualityConstraint
ExistentiallyConnectedFormulasFeature
HandleArith
HeuristicInstantiation
InstantiationCost
InstantiationCostScalerFeature
LiteralsSmallerThanFeature
Metavariable
PredictCostProver
QuanEliminationAnalyser
RecAndExistentiallyConnectedClausesFeature
SplittableQuantifiedFormulaFeature
Substitution
TriggersSet