Uses of Class
org.tweetyproject.commons.Parser

Packages that use Parser

Package	Description
org.tweetyproject.action.description.parser
org.tweetyproject.action.query.parser
org.tweetyproject.arg.aba.parser
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.deductive.parser
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.dung.parser
org.tweetyproject.arg.dung.util
org.tweetyproject.logics.bpm.parser.bpmn_to_petri
org.tweetyproject.logics.bpm.parser.xml_to_bpmn
org.tweetyproject.logics.cl.parser
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.dl.parser
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.pcl.parser
org.tweetyproject.logics.petri.syntax.reachability_graph
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.qbf.parser
org.tweetyproject.logics.rcl.parser
org.tweetyproject.logics.rdl.parser
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.translators.adfrevision

Uses of Parser in org.tweetyproject.action.description.parser

Subclasses of Parser in org.tweetyproject.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 the Action Description Language C from [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.

Uses of Parser in org.tweetyproject.action.query.parser

Subclasses of Parser in org.tweetyproject.action.query.parser

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

Uses of Parser in org.tweetyproject.arg.aba.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.arg.aba.parser with parameters of type Parser

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

Uses of Parser in org.tweetyproject.arg.aspic.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.arg.aspic.parser with parameters of type Parser

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

Uses of Parser in org.tweetyproject.arg.deductive.parser

Subclasses of Parser in org.tweetyproject.arg.deductive.parser

Modifier and Type	Class	Description
class	SimplePlLogicParser

Uses of Parser in org.tweetyproject.arg.delp.parser

Subclasses of Parser in org.tweetyproject.arg.delp.parser

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

Uses of Parser in org.tweetyproject.arg.dung.parser

Subclasses of Parser in org.tweetyproject.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	Iccma23Parser	Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format).
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 org.tweetyproject.arg.dung.util

Constructors in org.tweetyproject.arg.dung.util with parameters of type Parser

Modifier	Constructor	Description
	FileDungTheoryGenerator(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 org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Subclasses of Parser in org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Modifier and Type	Class	Description
class	PetriNetParser	A class to map a BPMN model to a Petri net

Uses of Parser in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Subclasses of Parser in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Modifier and Type	Class	Description
class	RootParser	Instances of this class serve as the root of a parsing process for a BPMN XML file.

Uses of Parser in org.tweetyproject.logics.cl.parser

Subclasses of Parser in org.tweetyproject.logics.cl.parser

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

Uses of Parser in org.tweetyproject.logics.commons.analysis

Methods in org.tweetyproject.logics.commons.analysis with parameters of type Parser

Modifier and Type	Method	Description
void	InconsistencyMeasureEvaluator.parseDatasetFromPath(String path, Parser<U,T> p, int n)	Parse all knowledge bases from files in the given folder and add them to the testing dataset.

Uses of Parser in org.tweetyproject.logics.dl.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.logics.fol.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.logics.ml.parser

Subclasses of Parser in org.tweetyproject.logics.ml.parser

Modifier and Type	Class	Description
class	MlParser	This class implements a parser for modal logic.

Uses of Parser in org.tweetyproject.logics.pcl.parser

Subclasses of Parser in org.tweetyproject.logics.pcl.parser

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

Uses of Parser in org.tweetyproject.logics.petri.syntax.reachability_graph

Subclasses of Parser in org.tweetyproject.logics.petri.syntax.reachability_graph

Modifier and Type	Class	Description
class	ReachabilityGraphParser

Uses of Parser in org.tweetyproject.logics.pl.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.qbf.parser

Subclasses of Parser in org.tweetyproject.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 org.tweetyproject.logics.rcl.parser

Subclasses of Parser in org.tweetyproject.logics.rcl.parser

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

Uses of Parser in org.tweetyproject.logics.rdl.parser

Subclasses of Parser in org.tweetyproject.logics.rdl.parser

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

Uses of Parser in org.tweetyproject.logics.rpcl.parser

Subclasses of Parser in org.tweetyproject.logics.rpcl.parser

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

Uses of Parser in org.tweetyproject.logics.translators.adfrevision

Subclasses of Parser in org.tweetyproject.logics.translators.adfrevision

Modifier and Type	Class	Description
class	PlParserThreeValued	Adapted from "PlParser" for the use of 3-valued logic (WeakNegation and Indecision-Operator):