Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
mauda.plugin.KBFormulaEvaluator

Packages that use KBFormulaEvaluator
mauda.feedback | Provides feedback-specific classes, used by the different feedback-types.
mauda.plugin.fibheap | Classes and interfaces for the fibonacci-heap plug-in.

Uses of KBFormulaEvaluator in mauda.feedback

Methods in mauda.feedback that return KBFormulaEvaluator
`KBFormulaEvaluator` | `FeedbackGenerator.getKBFormulaEvaluator()` Gets the KBFormulaEvaluator

Methods in mauda.feedback with parameters of type KBFormulaEvaluator
`java.util.Vector` | `FeedbackKB.call(KBFormulaEvaluator evaluator)` Make a call to the knowledge-base for the current-position inside the exercise, and returns all FeedbackKB-Objects its formulas are `true`.
`static void` | `FeedbackGenerator.setKBFormulaEvaluator(KBFormulaEvaluator kbfe)` Sets the plugin-specific KBFormualEvaluator.

Uses of KBFormulaEvaluator in mauda.plugin.fibheap

Subclasses of KBFormulaEvaluator in mauda.plugin.fibheap
`class` | `FibHeapKBFormulaEvaluator` Evaluates special constants in formulas in the Knowledge- Base.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES