Interface FolWriter

    • Method Detail

      • printQuery

        void printQuery​(FolFormula query)
                 throws java.io.IOException
        Prints formatted representation of a query.
        Parameters:
        query - the formula to be queried
        Throws:
        java.io.IOException - if an IO issue occurs.
      • printEquivalence

        void printEquivalence​(FolFormula a,
                              FolFormula b)
                       throws java.io.IOException
        Prints an Equivalence.
        Parameters:
        a - formula on one side of the equation
        b - formula on the other side of the equation
        Throws:
        java.io.IOException - if an IO issue occurs.
      • printBase

        void printBase​(FolBeliefSet b)
                throws java.io.IOException
        Prints formatted representation of a knowledge base.
        Parameters:
        b - a knowledge base
        Throws:
        java.io.IOException - if an IO issue occurs.
      • close

        void close()
            throws java.io.IOException
        Closes the Writer.
        Throws:
        java.io.IOException - if an IO issue occurs.