Package org.tweetyproject.logics.ml.writer

Class MleanCoPWriter

java.lang.Object

org.tweetyproject.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	Description
MleanCoPWriter()	Creates a new MleanCoPWriter.
MleanCoPWriter(Writer writer)	Creates a new MleanCoPWriter.

Method Summary

Modifier and Type	Method	Description
void	close()	Closes the Writer.
void	printQuery(RelationalFormula f)	Prints the query.

Methods inherited from class java.lang.Object

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

Constructor Details

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 Details

printQuery

public void printQuery(RelationalFormula f)
                throws IOException

Prints the query.

Parameters:

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

Throws:

IOException - if an IO issue occurs.

close

public void close()
           throws IOException

Closes the Writer.

Throws:

IOException - if an IO issue occurs.