Uses of Class
org.tweetyproject.commons.Parser
-
-
-
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 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 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
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 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 org.tweetyproject.logics.bpm.parser
Subclasses of Parser in org.tweetyproject.logics.bpm.parser 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(java.lang.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.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.
-