Class AShop2Converter

    • Constructor Summary

      Constructors 
      Constructor Description
      AShop2Converter()  
    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String indent​(int numberOfIntends)  
      abstract void printLiteral​(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Literal lit)  
      void printMonom​(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Monom monom, int i)
      Prints a single monom into the bufferedwriter
      void printMonom​(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Monom monom, int i, boolean newline)
      Prints a single monom into the bufferedwriter
      • Methods inherited from class java.lang.Object

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

      • AShop2Converter

        public AShop2Converter()
    • Method Detail

      • printMonom

        public void printMonom​(java.io.BufferedWriter bw,
                               ai.libs.jaicore.logic.fol.structure.Monom monom,
                               int i)
                        throws java.io.IOException
        Prints a single monom into the bufferedwriter
        Parameters:
        bw - the bufferedwriter which determines the output
        monom - the monom to write
        i - the number if indents infront of the monom
        Throws:
        java.io.IOException
      • printMonom

        public void printMonom​(java.io.BufferedWriter bw,
                               ai.libs.jaicore.logic.fol.structure.Monom monom,
                               int i,
                               boolean newline)
                        throws java.io.IOException
        Prints a single monom into the bufferedwriter
        Parameters:
        bw - the bufferedwriter which determines the output
        monom - the monom to write
        i - the number if indents infront of the monom
        Throws:
        java.io.IOException
      • indent

        public java.lang.String indent​(int numberOfIntends)
      • printLiteral

        public abstract void printLiteral​(java.io.BufferedWriter bw,
                                          ai.libs.jaicore.logic.fol.structure.Literal lit)
                                   throws java.io.IOException
        Throws:
        java.io.IOException