PlParserFactory

java.lang.Object

org.tweetyproject.logics.pl.parser.PlParserFactory

public class PlParserFactory extends Object

Manages and creates different parsers for propositional logic.

Author:: Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static enum

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 Details
- PlParserFactory
  
  public PlParserFactory()
Method Details
- getParserForFormat
  
  public static Parser<PlBeliefSet,PlFormula> getParserForFormat(PlParserFactory.Format f)
  
  Retrieves an appropriate parser for the given format.
  
  Parameters:
  
  f - some format
  
  Returns:
  
  a parser