|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface KnowledgeBase.KnowledgeBaseListener
Method Summary | |
---|---|
void |
assertLearnedPositive(int fv,
int state)
This is called if the KB learns about a variable from unit propagation, and was not told about this from the user. |
void |
assertUnLearnedPositive(int fv)
Called when transitioning from 1 possible state to two possibe states (for any variable, whether the KB learned it or was told it). |
void |
kbCallAssertOnVar(int fv)
|
void |
kbDontCallAssertOnVar(int fv)
|
Method Detail |
---|
void assertLearnedPositive(int fv, int state)
If this one is called, may not call AssertLearnedNegative for all the states.
void assertUnLearnedPositive(int fv)
void kbDontCallAssertOnVar(int fv)
void kbCallAssertOnVar(int fv)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |