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 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.