edu.ucla.belief.rc2.kb.sat
Class KB_SAT
Object
KB_SAT
public class KB_SAT
- extends Object
Class implements a knowledgebase using Prof. Darwiche's SAT engine.
- Author:
- David Allen
loaded
public static boolean loaded()
createKB
public static KB_SAT createKB(KBMap.Mapping map)
releaseKB
public void releaseKB()
my_decide
public int my_decide(int var,
int val)
my_decide
public int my_decide(int bvar)
undo_decide
public int undo_decide()
varStatus
public int varStatus(int bvar)
numClauses
public int numClauses()
numLiterals
public int numLiterals()
Copyright 2010 UCLA Automated Reasoning Group