|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface KnowledgeBase
Define KnowledgeBase.
Nested Class Summary | |
---|---|
static interface |
KnowledgeBase.KnowledgeBaseListener
|
Field Summary | |
---|---|
static int |
KB_UNSATISFIABLE
|
Method Summary | |
---|---|
int |
assertPositive(int var,
int state)
Asserts var=state as true. |
int |
currentState()
Returns the current state of the KB, if retract is later called with this value, the KB will return to this state. |
int |
numClauses()
|
int |
numLiterals()
|
int |
numPossibleStates(FiniteVariable fv)
|
void |
retract(int state)
The parameter state should be the returned value from either an assertPositive call or from a currentState call. |
Field Detail |
---|
static final int KB_UNSATISFIABLE
Method Detail |
---|
int numClauses()
int numLiterals()
int currentState()
int assertPositive(int var, int state)
void retract(int state)
int numPossibleStates(FiniteVariable fv)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |