Class DimacsParser

    • Constructor Detail

      • DimacsParser

        public DimacsParser()
    • Method Detail

      • setSignature

        public void setSignature​(PlSignature sig)
        Sets the signature of this parser. Note that the natural order of the atoms in the signature (as returned by an iterator) is used for indexing variables in clauses.
        Parameters:
        sig - some signature
      • parseBeliefBase

        public PlBeliefSet parseBeliefBase​(java.io.Reader reader)
                                    throws java.io.IOException,
                                           ParserException
        Description copied from class: Parser
        Parses the given reader into a belief base of the given type.
        Specified by:
        parseBeliefBase in class Parser<PlBeliefSet,​PlFormula>
        Parameters:
        reader - a reader
        Returns:
        a belief base
        Throws:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.
      • parseFormula

        public Disjunction parseFormula​(java.io.Reader reader)
                                 throws java.io.IOException,
                                        ParserException
        Description copied from class: Parser
        Parses the given reader into a formula of the given type.
        Specified by:
        parseFormula in class Parser<PlBeliefSet,​PlFormula>
        Parameters:
        reader - a reader
        Returns:
        a formula
        Throws:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.