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.