Class PlParserFactory


  • public class PlParserFactory
    extends java.lang.Object
    Manages and creates different parsers for propositional logic.
    Author:
    Matthias Thimm
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  PlParserFactory.Format
      An enumeration of all available knowledge base formats.
    • Constructor Summary

      Constructors 
      Constructor Description
      PlParserFactory()  
    • Method Summary

      Modifier and Type Method Description
      static Parser<PlBeliefSet,​PlFormula> getParserForFormat​(PlParserFactory.Format f)
      Retrieves an appropriate parser for the given format.
      • Methods inherited from class java.lang.Object

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

      • PlParserFactory

        public PlParserFactory()