net.sf.tweety.logics.ml.writer

Class MleanCoPWriter

java.lang.Object

net.sf.tweety.logics.ml.writer.MleanCoPWriter

public class MleanCoPWriter
extends java.lang.Object

Prints single FOL and modal formulas to the MleanCoP format:

Negation: '~'
Conjunction: ','
Disjunction: ';'
Implication: '=>'
Equivalence: '<=>'
Universal quantifier: 'all X:'
Existential quantifier: 'ex X:'
Modal box operator (Necessity): '#'
Modal diamond operator (Possibility): '*'

Author:

Anna Gessler, Nils Geilen

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.io.Writer	writer Output is redirected to this writer.

Constructor Summary

Constructors

Constructor and Description
MleanCoPWriter() Creates a new MleanCoPWriter.
MleanCoPWriter(java.io.Writer writer) Creates a new MleanCoPWriter.

Method Summary

Modifier and Type	Method and Description
void	close() Closes the Writer.
private java.lang.String	parens(java.lang.String str) Puts a string in parentheses.
private java.lang.String	printFormula(RelationalFormula f) Creates a representation of a formula in MleanCoP format.
void	printQuery(RelationalFormula f) Prints the query.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

writer

final java.io.Writer writer

Output is redirected to this writer.

Constructor Detail

MleanCoPWriter

public MleanCoPWriter(java.io.Writer writer)

Creates a new MleanCoPWriter.

Parameters:

writer - Output is redirected to this writer.

MleanCoPWriter

public MleanCoPWriter()

Creates a new MleanCoPWriter.

Method Detail

printQuery

public void printQuery(RelationalFormula f)
                throws java.io.IOException

Prints the query.

Parameters:

f - the query, a first-order logic or modal formula

Throws:

java.io.IOException

printFormula

private java.lang.String printFormula(RelationalFormula f)

Creates a representation of a formula in MleanCoP format.

Parameters:

f - a formula

Returns:

a string that represents the formula in MleanCoP format

parens

private java.lang.String parens(java.lang.String str)

Puts a string in parentheses.

Parameters:

str - a string

Returns:

(str)

close

public void close()
           throws java.io.IOException

Closes the Writer.

Throws:

java.io.IOException