Class DimacsParser

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected Proposition[] prop_idx
      An array representation of the propositions (for index mapping)
      private PlSignature signature
      The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).
    • Constructor Summary

      Constructors 
      Constructor Description
      DimacsParser()  
    • Field Detail

      • signature

        private PlSignature signature
        The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).
      • prop_idx

        protected Proposition[] prop_idx
        An array representation of the propositions (for index mapping)
    • 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.