net.sf.tweety.logics.pl.parser

Class PlParserFactory

java.lang.Object

net.sf.tweety.logics.pl.parser.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 and Description
static class	PlParserFactory.Format An enumeration of all available knowledge base formats.

Constructor Summary

Constructors

Constructor and Description
PlParserFactory()

Method Summary

Modifier and Type	Method and Description
static Parser<PlBeliefSet>	getParserForFormat(PlParserFactory.Format f) Retrieves an appropriate parser for the given format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PlParserFactory

public PlParserFactory()

Method Detail

getParserForFormat

public static Parser<PlBeliefSet> getParserForFormat(PlParserFactory.Format f)

Retrieves an appropriate parser for the given format.

Parameters:

f - some format

Returns:

a parser