edu::tum::cs::srl::bayesnets::MLNConverter Class Reference

Inheritance diagram for edu::tum::cs::srl::bayesnets::MLNConverter:

Classes
class	MLNObjectWriter
Public Member Functions
abstract void	addFormula (edu.tum.cs.logic.Formula f, double weight)
abstract void	addFunctionalDependency (String predicate, Integer functionallyDeterminedArg)
abstract void	addGuaranteedDomainElements (String domain, String[] elements)
abstract void	addHardFormula (Formula f)
abstract void	addSignature (Signature sig)
abstract void	beginCPT (RelationalNode node)
abstract void	endCPT ()

Detailed Description

abstract base class for conversions of relational models to MLNs

Definition at line 17 of file MLNConverter.java.

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::addFormula	(	edu.tum.cs.logic.Formula	f,
		double	weight
	)			`[pure virtual]`

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::addFunctionalDependency	(	String	predicate,
		Integer	functionallyDeterminedArg
	)			`[pure virtual]`

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::addGuaranteedDomainElements	(	String	domain,
		String[]	elements
	)			`[pure virtual]`

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::addHardFormula ( Formula f ) [pure virtual]

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::addSignature ( Signature sig ) [pure virtual]

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::beginCPT ( RelationalNode node ) [pure virtual]

abstract void edu::tum::cs::srl::bayesnets::MLNConverter::endCPT ( ) [pure virtual]

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