|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectmauda.feedback.FeedbackKB
public class FeedbackKB
Knowledge-Base for Feedback-Information.
| Constructor Summary | |
|---|---|
FeedbackKB()
Creates a FeedbackKB |
|
| Method Summary | |
|---|---|
java.util.Vector |
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. |
boolean |
load(java.lang.String filename)
Loads a knowledge-base from disc. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public FeedbackKB()
| Method Detail |
|---|
public boolean load(java.lang.String filename)
FORMULA: correct AND subop[current].id = newfheapmeld
MESSAGE: A OPERATION causes to create a new Fibonacci-Heap with a node of the value OPPARAM1 and meld it with the current Fibonacci-Heap.
MESSAGE: A SUBOPERATION is the correct operation.
filename - Filename of the knowledge-base-file
public java.util.Vector call(KBFormulaEvaluator evaluator)
true.
evaluator -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||