Uses of Class
net.sf.tweety.commons.Parser

Packages that use Parser

Package	Description
net.sf.tweety.action.description.parser
net.sf.tweety.action.query.parser
net.sf.tweety.arg.aba.parser
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.util
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rdl.parser
net.sf.tweety.logics.rpcl.parser

Uses of Parser in net.sf.tweety.action.description.parser

Subclasses of Parser in net.sf.tweety.action.description.parser

Modifier and Type	Class and Description
class	CLawParser This class implements a parser for causal laws in C.
class	CParser This class implements a parser for an Action Description in C.

Uses of Parser in net.sf.tweety.action.query.parser

Subclasses of Parser in net.sf.tweety.action.query.parser

Modifier and Type	Class and Description
class	ActionQueryParser This class implements a parser for action queries in S.

Uses of Parser in net.sf.tweety.arg.aba.parser

Subclasses of Parser in net.sf.tweety.arg.aba.parser

Modifier and Type	Class and Description
class	ABAParser<T extends Formula>

Fields in net.sf.tweety.arg.aba.parser declared as Parser

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	ABAParser.formulaparser Used to parse formulae

Constructors in net.sf.tweety.arg.aba.parser with parameters of type Parser

Constructor and Description
ABAParser(Parser<? extends BeliefBase> formulaparser) Create a new ABA parser

Uses of Parser in net.sf.tweety.arg.aspic.parser

Subclasses of Parser in net.sf.tweety.arg.aspic.parser

Modifier and Type	Class and Description
class	AspicParser<T extends Invertable>

Fields in net.sf.tweety.arg.aspic.parser declared as Parser

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	AspicParser.formulaparser Used to parse formulae

Constructors in net.sf.tweety.arg.aspic.parser with parameters of type Parser

Constructor and Description
AspicParser(Parser<? extends BeliefBase> formulaparser, RuleFormulaGenerator<T> rfg) Constructs a new instance

Uses of Parser in net.sf.tweety.arg.delp.parser

Subclasses of Parser in net.sf.tweety.arg.delp.parser

Modifier and Type	Class and Description
class	DelpParser This class implements a parser for defeasible logic programs.

Uses of Parser in net.sf.tweety.arg.dung.parser

Subclasses of Parser in net.sf.tweety.arg.dung.parser

Modifier and Type	Class and Description
class	AbstractDungParser This abstract class gives a template for parsers of files representing abstract argumentation frameworks.
class	ApxParser Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S): S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S where "ARGUMENT" represents any string (without blanks) as a terminal symbol.
class	CnfParser Parses abstract argumentation frameworks in the CNF/Dimacs Format used for the SAT solver competition (see also http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html).
class	DungParser This class implements a parser for dung argumentation theories.
class	TgfParser Parses abstract argumentation frameworks given in the trivial graph format which is given by the following BNF (start symbol is S): S ::== ARGUMENTS "#" "\n" ATTACKS ARGUMENTS ::== "" | ARGUMENT "\n" ARGUMENTS ATTACKS ::== "" | ATTACK "\n" ATTACKS ATTACK ::== ARGUMENT ARGUMENT where "ARGUMENT" represents any string (without blanks) as a terminal symbol.

Uses of Parser in net.sf.tweety.arg.dung.util

Fields in net.sf.tweety.arg.dung.util declared as Parser

Modifier and Type	Field and Description
private Parser<DungTheory>	FileDungTheoryGenerator.parser A parser for parsing the files.

Constructors in net.sf.tweety.arg.dung.util with parameters of type Parser

Constructor and Description
FileDungTheoryGenerator(java.io.File[] files, Parser<DungTheory> parser) Creates a new theory generator for the given files, which can be parsed by the given parser.

Uses of Parser in net.sf.tweety.logics.cl.parser

Subclasses of Parser in net.sf.tweety.logics.cl.parser

Modifier and Type	Class and Description
class	ClParser This class implements a parser for conditional logic.

Uses of Parser in net.sf.tweety.logics.fol.parser

Subclasses of Parser in net.sf.tweety.logics.fol.parser

Modifier and Type	Class and Description
class	FolParser This class implements a parser for first-order logic.

Uses of Parser in net.sf.tweety.logics.pcl.parser

Subclasses of Parser in net.sf.tweety.logics.pcl.parser

Modifier and Type	Class and Description
class	PclParser This class implements a parser for probabilistic conditional logic.

Uses of Parser in net.sf.tweety.logics.pl.parser

Subclasses of Parser in net.sf.tweety.logics.pl.parser

Modifier and Type	Class and Description
class	PlParser This class implements a parser for propositional logic.

Methods in net.sf.tweety.logics.pl.parser that return Parser

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

Uses of Parser in net.sf.tweety.logics.rcl.parser

Subclasses of Parser in net.sf.tweety.logics.rcl.parser

Modifier and Type	Class and Description
class	RclParser This class implements a parser for relational conditional logic.

Uses of Parser in net.sf.tweety.logics.rdl.parser

Subclasses of Parser in net.sf.tweety.logics.rdl.parser

Modifier and Type	Class and Description
class	RdlParser This class implements a parser for default logic.

Uses of Parser in net.sf.tweety.logics.rpcl.parser

Subclasses of Parser in net.sf.tweety.logics.rpcl.parser

Modifier and Type	Class and Description
class	RpclParser This class implements a parser for relational probabilistic conditional logic.