Interface | Description |
---|---|
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. by instantiation schema
variables).
|
CPBranch |
One branch of a
ChoicePoint . |
Class | 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. |
ForEachCP |
Feature representing a
ChoicePoint that iterates over the
terms returned by a TermGenerator . |
OneOfCP | |
SVInstantiationCP |
Feature representing a
ChoicePoint for instantiating a schema
variable of a taclet with the term that is returned by a
ProjectionToTerm . |