Package 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
-
-
Constructor Summary
Constructors Constructor Description MleanCoPWriter()
Creates a new MleanCoPWriter.MleanCoPWriter(java.io.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.
-
-
-
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
- if an IO issue occurs.
-
close
public void close() throws java.io.IOException
Closes the Writer.- Throws:
java.io.IOException
- if an IO issue occurs.
-
-