| 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
ChoicePoints 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. |