net.sf.tweety.logics.ml.writer

Class MleanCoPWriter

java.lang.Object

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

public class MleanCoPWriter
extends 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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	close() Closes the Writer.
void	printQuery(net.sf.tweety.logics.commons.syntax.RelationalFormula f) Prints the query.

Methods inherited from class java.lang.Object

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

Constructor Detail

MleanCoPWriter

public MleanCoPWriter(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(net.sf.tweety.logics.commons.syntax.RelationalFormula f)
                throws IOException

Prints the query.

Parameters:

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

Throws:

IOException

close

public void close()
           throws IOException

Closes the Writer.

Throws:

IOException