Class 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.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • MleanCoPWriter

        public MleanCoPWriter​(java.io.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​(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.