edu::tum::cs::srl::mln::MLNWriter Class Reference

List of all members.

Public Member Functions
	MLNWriter (PrintStream out)
void	writeDomainDecl (String domName, String[] elems)
void	writeMutexDecl (String predName, String[] params, String[] detParams)
void	writePredicateDecl (Signature sig, Integer functionallyDeterminedArg)
void	writePredicateDecl (String predName, String[] types, Integer functionallyDeterminedArg)
Static Public Member Functions
static String	formatAsAtom (String atom)
static String	formatAsPredName (String predName)
static String	formatAsTypeName (String typeName)
static String	lowerCaseString (String s)
static String	upperCaseString (String s)
Protected Attributes
java.io.PrintStream	out

---

Detailed Description

Definition at line 8 of file MLNWriter.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::mln::MLNWriter::MLNWriter

(

PrintStream

out

)

[inline]

Definition at line 11 of file MLNWriter.java.

---

Member Function Documentation

static String edu::tum::cs::srl::mln::MLNWriter::formatAsAtom

(

String

atom

)

[inline, static]

Definition at line 65 of file MLNWriter.java.

static String edu::tum::cs::srl::mln::MLNWriter::formatAsPredName

(

String

predName

)

[inline, static]

Definition at line 57 of file MLNWriter.java.

static String edu::tum::cs::srl::mln::MLNWriter::formatAsTypeName

(

String

typeName

)

[inline, static]

Definition at line 61 of file MLNWriter.java.

static String edu::tum::cs::srl::mln::MLNWriter::lowerCaseString

(

String

s

)

[inline, static]

returns a string where the first letter is lower case

Parameters:

s

the string to convert

Returns:

the string s with the first letter converted to lower case

Definition at line 77 of file MLNWriter.java.

static String edu::tum::cs::srl::mln::MLNWriter::upperCaseString

(

String

s

)

[inline, static]

returns a string where the first letter is upper case

Parameters:

s

the string to convert

Returns:

the string s with the first letter converted to upper case

Definition at line 88 of file MLNWriter.java.

void edu::tum::cs::srl::mln::MLNWriter::writeDomainDecl	(	String	domName,
		String[]	elems
	)			[inline]

Definition at line 15 of file MLNWriter.java.

void edu::tum::cs::srl::mln::MLNWriter::writeMutexDecl	(	String	predName,
		String[]	params,
		String[]	detParams
	)			[inline]

Deprecated:

mutual exclusiveness and exhaustiveness is now declared directly in the predicate declaration

Parameters:

	predName
	params
	detParams	parameters that are functionally determined by the others

Definition at line 42 of file MLNWriter.java.

void edu::tum::cs::srl::mln::MLNWriter::writePredicateDecl	(	Signature	sig,
		Integer	functionallyDeterminedArg
	)			[inline]

Definition at line 32 of file MLNWriter.java.

void edu::tum::cs::srl::mln::MLNWriter::writePredicateDecl	(	String	predName,
		String[]	types,
		Integer	functionallyDeterminedArg
	)			[inline]

Definition at line 19 of file MLNWriter.java.

---

Member Data Documentation

java.io.PrintStream edu::tum::cs::srl::mln::MLNWriter::out [protected]

Definition at line 9 of file MLNWriter.java.

---

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

• MLNWriter.java