Package 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 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.
-
-
-
Method Detail
-
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
-
-