Package | Description |
---|---|
de.uka.ilkd.key.strategy.feature.instantiator |
Class and Description |
---|
BackTrackingManager
Manager for the
ChoicePoint s that can occur during the
evaluation of a feature term, taking care of the different branches offered
by the points, and that is able to systematically explore the resulting
search space and enumerate all resulting rule applications. |
ChoicePoint
Interface encapsulating points during the evaluation of a feature term where
it is either possible to take different branches, or where the feature has to
change the rule application in question (e.g.
|
CPBranch
One branch of a
ChoicePoint . |
Copyright © 2003-2019 The KeY-Project.