Package org.tweetyproject.logics.pl.parser

Class 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()	Default Constructor

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()

Default Constructor

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