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.adf.parser
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.deductive.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.dl.parser
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.qbf.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	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	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	Description
class	AbaParser<T extends Formula>	Parses a Assumption Based Argumentation System out of an input text.

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

Constructor	Description
AbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)	Creates a new ABA parser

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

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

Modifier and Type	Class	Description
class	KppADFFormatParser	A parser for the input format described at https://www.cs.helsinki.fi/group/coreo/k++adf/ Since the input format is only described informally, we assume that each argument has to be defined before it can be used in some way, e.g.

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

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

Modifier and Type	Class	Description
class	AspicParser<T extends Invertable>	Parses a Aspic Argumentation System out of an input text.

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

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

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

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

Modifier and Type	Class	Description
class	SimplePlLogicParser

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

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

Modifier and Type	Class	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	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	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

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

Constructor	Description
FileDungTheoryGenerator(java.io.File[] files, Parser<DungTheory,?> parser, boolean loop)	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	Description
class	ClParser	This class implements a parser for conditional logic.

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

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

Modifier and Type	Class	Description
class	DlParser	This class implements a parser for the description logic ALC (attributive concept language with complements).

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

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

Modifier and Type	Class	Description
class	FolParser	This class implements a parser for first-order logic.
class	TPTPParser	This class implements a parser for the TPTP syntax that parses single fol formulas and knowledge bases (TPTP problem files or axiom files).

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

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

Modifier and Type	Class	Description
class	MlParser	This class implements a parser for modal 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	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	Description
class	DimacsParser	Parser a file in Dimacs format into a PlBeliefSet.
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	Description
static Parser<PlBeliefSet,PlFormula>	PlParserFactory.getParserForFormat(PlParserFactory.Format f)	Retrieves an appropriate parser for the given format.

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

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

Modifier and Type	Class	Description
class	QbfParser	This class implements a parser for quantified boolean formulas.
class	QCirParser	This class implements a parser for the QCIR (Quantified CIRcuit) format.
class	QdimacsParser	This class implements a parser for the QDIMACS input 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	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	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	Description
class	RpclParser	This class implements a parser for relational probabilistic conditional logic.