edu.ucla.belief.rc2.kb.sat
Class KB_SAT

Object
  extended by KB_SAT

public class KB_SAT
extends Object

Class implements a knowledgebase using Prof. Darwiche's SAT engine.

Author:
David Allen

Method Summary
static KB_SAT createKB(KBMap.Mapping map)
           
static boolean loaded()
           
 int my_decide(int bvar)
           
 int my_decide(int var, int val)
           
 int numClauses()
           
 int numLiterals()
           
 void releaseKB()
           
 int undo_decide()
           
 int varStatus(int bvar)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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