edu.ucla.belief
Interface KnowledgeBase.KnowledgeBaseListener

All Known Implementing Classes:
RC, RCDgraph, RCDtree
Enclosing class:
KnowledgeBase

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

assertLearnedPositive

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.

If this one is called, may not call AssertLearnedNegative for all the states.


assertUnLearnedPositive

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


kbDontCallAssertOnVar

void kbDontCallAssertOnVar(int fv)

kbCallAssertOnVar

void kbCallAssertOnVar(int fv)


Copyright 2010 UCLA Automated Reasoning Group