Class MleanCoPWriter
java.lang.Object
org.tweetyproject.logics.ml.writer.MleanCoPWriter
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): '*'
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
ConstructorDescriptionCreates a new MleanCoPWriter.MleanCoPWriter
(Writer writer) Creates a new MleanCoPWriter. -
Method Summary
-
Constructor Details
-
MleanCoPWriter
Creates a new MleanCoPWriter.- Parameters:
writer
- Output is redirected to this writer.
-
MleanCoPWriter
public MleanCoPWriter()Creates a new MleanCoPWriter.
-
-
Method Details
-
printQuery
Prints the query.- Parameters:
f
- the query, a first-order logic or modal formula- Throws:
IOException
- if an IO issue occurs.
-
close
Closes the Writer.- Throws:
IOException
- if an IO issue occurs.
-