edu::tum::cs::logic::sat::ClausalKB Class Reference

List of all members.

Public Member Functions
void	addFormula (Formula f) throws Exception
	ClausalKB ()
	ClausalKB (edu.tum.cs.logic.KnowledgeBase kb) throws Exception
Iterator< Clause >	iterator ()
void	print ()
int	size ()
Protected Attributes
Vector< Clause >	clauses

---

Detailed Description

Definition at line 11 of file ClausalKB.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::ClausalKB::ClausalKB

(

edu.tum.cs.logic.KnowledgeBase

kb

)

throws Exception [inline]

creates a clausal KB from a given (non-clausal) KB

Parameters:

kb

Exceptions:

Exception

Definition at line 20 of file ClausalKB.java.

edu::tum::cs::logic::sat::ClausalKB::ClausalKB

(

)

[inline]

creates an empty clausal KB

Definition at line 30 of file ClausalKB.java.

---

Member Function Documentation

void edu::tum::cs::logic::sat::ClausalKB::addFormula

(

Formula

f

)

throws Exception [inline]

adds a formula to the knowledge bases, converting it into CNF

Parameters:

f

Exceptions:

Exception

Definition at line 39 of file ClausalKB.java.

Iterator<Clause> edu::tum::cs::logic::sat::ClausalKB::iterator

(

)

[inline]

Definition at line 66 of file ClausalKB.java.

void edu::tum::cs::logic::sat::ClausalKB::print

(

)

[inline]

Definition at line 74 of file ClausalKB.java.

int edu::tum::cs::logic::sat::ClausalKB::size

(

)

[inline]

Definition at line 70 of file ClausalKB.java.

---

Member Data Documentation

Vector<Clause> edu::tum::cs::logic::sat::ClausalKB::clauses [protected]

Definition at line 13 of file ClausalKB.java.

---

The documentation for this class was generated from the following file:

• ClausalKB.java