edu::tum::cs::srl::bayesnets::bln::py::GroundFormula Class Reference

List of all members.

Public Member Functions
Vector< String >	getGroundAtoms ()
	GroundFormula (JythonInterpreter jython, int idxGF) throws ConversionException
boolean	isTrue (State state) throws ConversionException
void	toCNF () throws ConversionException
String	toString ()
Public Attributes
int	idxGF
Protected Member Functions
void	makeClause (String cVar) throws ConversionException
Protected Attributes
JythonInterpreter	jython
String	varName

---

Detailed Description

Definition at line 10 of file GroundFormula.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::GroundFormula	(	JythonInterpreter	jython,
		int	idxGF
	)			throws ConversionException [inline]

Definition at line 15 of file GroundFormula.java.

---

Member Function Documentation

Vector<String> edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::getGroundAtoms

(

)

[inline]

Definition at line 22 of file GroundFormula.java.

boolean edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::isTrue

(

State

state

)

throws ConversionException [inline]

Definition at line 31 of file GroundFormula.java.

void edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::makeClause

(

String

cVar

)

throws ConversionException [inline, protected]

Definition at line 47 of file GroundFormula.java.

void edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::toCNF

(

)

throws ConversionException [inline]

Definition at line 35 of file GroundFormula.java.

String edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::toString

(

)

[inline]

Definition at line 51 of file GroundFormula.java.

---

Member Data Documentation

int edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::idxGF

Definition at line 13 of file GroundFormula.java.

JythonInterpreter edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::jython [protected]

Definition at line 12 of file GroundFormula.java.

String edu::tum::cs::srl::bayesnets::bln::py::GroundFormula::varName [protected]

Definition at line 11 of file GroundFormula.java.

---

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

• GroundFormula.java