edu.ucla.belief.rc2.kb
Interface KnowledgeBase.KnowledgeBaseListener

Enclosing interface:
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).
 

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



Copyright 2010 UCLA Automated Reasoning Group