Uses of Class
org.tweetyproject.commons.ParserException

Packages that use ParserException

Package	Description
Unnamed Package
org.tweetyproject.action.description.parser
org.tweetyproject.action.grounding.parser
org.tweetyproject.action.query.parser
org.tweetyproject.action.signature.parser
org.tweetyproject.agents.dialogues.examples
org.tweetyproject.arg.aba.examples
org.tweetyproject.arg.aba.parser
org.tweetyproject.arg.aspic.examples
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.deductive
org.tweetyproject.arg.deductive.examples
org.tweetyproject.arg.deductive.parser
org.tweetyproject.arg.delp.examples
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.dung.examples
org.tweetyproject.arg.dung.parser
org.tweetyproject.beliefdynamics.examples
org.tweetyproject.commons
org.tweetyproject.logics.bpm.examples
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.examples
org.tweetyproject.logics.dl.parser
org.tweetyproject.logics.dl.test
org.tweetyproject.logics.fol.examples
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.fol.test
org.tweetyproject.logics.fol.writer
org.tweetyproject.logics.ml
org.tweetyproject.logics.ml.examples
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.writer
org.tweetyproject.logics.mln.examples
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pcl.examples
org.tweetyproject.logics.pcl.parser
org.tweetyproject.logics.pcl.util
org.tweetyproject.logics.petri.syntax.reachability_graph
org.tweetyproject.logics.pl.examples
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.test
org.tweetyproject.logics.qbf.examples
org.tweetyproject.logics.qbf.parser
org.tweetyproject.logics.qbf.test
org.tweetyproject.logics.rcl.examples
org.tweetyproject.logics.rcl.parser
org.tweetyproject.logics.rdl.parser
org.tweetyproject.logics.rpcl.examples
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
org.tweetyproject.logics.translators.adfcl
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.math.examples
org.tweetyproject.web.services

Uses of ParserException in Unnamed Package

Methods in Unnamed Package that throw ParserException

Modifier and Type	Method	Description
void	AbstractArgumentationExample.crmasTest()

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

Methods in org.tweetyproject.action.description.parser that throw ParserException

Modifier and Type	Method	Description
CActionDescription	CLawParser.parseBeliefBase(Reader reader)
CActionDescription	CParser.parseBeliefBase(Reader reader)	Parses a belief base from the provided reader.
Formula	CLawParser.parseFormula(Reader reader)
Formula	CLawParser.parseFormula(String s)
Formula	CParser.parseFormula(Reader reader)	Parses a formula from the given reader.
Formula	CParser.parseFormula(String formula)	Parses the given formula string and returns the corresponding Formula object.

Uses of ParserException in org.tweetyproject.action.grounding.parser

Methods in org.tweetyproject.action.grounding.parser that throw ParserException

Modifier and Type	Method	Description
GroundingRequirement	GroundingRequirementsParser.parseRequirement(String s, Set<Variable> variables)	Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.
Set<GroundingRequirement>	GroundingRequirementsParser.parseRequirements(String s, Set<Variable> variables)	Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

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

Methods in org.tweetyproject.action.query.parser that throw ParserException

Modifier and Type	Method	Description
SActionQuery	ActionQueryParser.parseFormula(Reader reader)	Parses a single formula from the given reader.

Uses of ParserException in org.tweetyproject.action.signature.parser

Methods in org.tweetyproject.action.signature.parser that throw ParserException

Modifier and Type	Method	Description
ActionSignature	ActionSignatureParser.parseSignature(Reader reader)	Parses the given reader into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignature(String text)	Parses the given text into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignatureFromFile(String filename)	Parses the file of the given filename into a signature.

Uses of ParserException in org.tweetyproject.agents.dialogues.examples

Methods in org.tweetyproject.agents.dialogues.examples that throw ParserException

Modifier and Type	Method	Description
static void	LotteryDialogueTest2.main(String[] args)	Main method for evaluation.

Uses of ParserException in org.tweetyproject.arg.aba.examples

Methods in org.tweetyproject.arg.aba.examples that throw ParserException

Modifier and Type	Method	Description
static void	AbaExample.main(String[] args)	Main method that demonstrates parsing and reasoning with Assumption-Based Argumentation (ABA) using both propositional logic and first-order logic.

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

Methods in org.tweetyproject.arg.aba.parser that throw ParserException

Modifier and Type	Method	Description
AbaTheory<T>	AbaParser.parseBeliefBase(Reader reader)
Formula	AbaParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.arg.aspic.examples

Methods in org.tweetyproject.arg.aspic.examples that throw ParserException

Modifier and Type	Method	Description
static void	AspicExample2.main(String[] args)
static void	AspicExampleFol.main(String[] args)

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

Methods in org.tweetyproject.arg.aspic.parser that throw ParserException

Modifier and Type	Method	Description
AspicArgumentationTheory<T>	AspicParser.parseBeliefBase(Reader reader)
Formula	AspicParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.arg.deductive

Methods in org.tweetyproject.arg.deductive that throw ParserException

Modifier and Type	Method	Description
void	DeductiveTest.PreferredReasoning()

Uses of ParserException in org.tweetyproject.arg.deductive.examples

Methods in org.tweetyproject.arg.deductive.examples that throw ParserException

Modifier and Type	Method	Description
static void	DeductiveExample.main(String[] args)	This class demonstrates the use of a deductive knowledge base in combination with a SAT solver to perform reasoning using propositional logic formulas.

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

Methods in org.tweetyproject.arg.deductive.parser that throw ParserException

Modifier and Type	Method	Description
SimplePlLogicDeductiveKnowledgebase	SimplePlLogicParser.parseBeliefBase(Reader reader)	Read an entire piece of text and send each line to the actual parser
SimplePlRule	SimplePlLogicParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.arg.delp.examples

Methods in org.tweetyproject.arg.delp.examples that throw ParserException

Modifier and Type	Method	Description
static void	DeLPExample.main(String[] args)	The entry point of the application that parses a defeasible logic program from a file, creates a reasoner with a specific criterion, and performs queries on the logic program.

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

Methods in org.tweetyproject.arg.delp.parser that throw ParserException

Modifier and Type	Method	Description
DefeasibleLogicProgram	DelpParser.parseBeliefBase(Reader reader)	Parses a defeasible logic program from the given reader.
Formula	DelpParser.parseFormula(Reader reader)	A formula here is a Literal, that is an Atom or a negated Atom.

Uses of ParserException in org.tweetyproject.arg.dung.examples

Methods in org.tweetyproject.arg.dung.examples that throw ParserException

Modifier and Type	Method	Description
static void	AcceptabilityReasonerExample.main(String[] args)	The main method that demonstrates the usage of various acceptability reasoners.

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

Methods in org.tweetyproject.arg.dung.parser that throw ParserException

Modifier and Type	Method	Description
DungTheory	AbstractDungParser.parseBeliefBase(Reader reader)
Formula	AbstractDungParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.beliefdynamics.examples

Methods in org.tweetyproject.beliefdynamics.examples that throw ParserException

Modifier and Type	Method	Description
static void	CrMasExample.main(String[] args)	Example method

Uses of ParserException in org.tweetyproject.commons

Methods in org.tweetyproject.commons that throw ParserException

Modifier and Type	Method	Description
abstract T	Parser.parseBeliefBase(Reader reader)	Parses the given reader into a belief base of the given type.
T	Parser.parseBeliefBase(String text)	Parses the given text into a belief base of the given type.
T	Parser.parseBeliefBaseFromFile(String filename)	Parses the file of the given filename into a belief base of the given type.
abstract S	Parser.parseFormula(Reader reader)	Parses the given reader into a formula of the given type.
S	Parser.parseFormula(String text)	Parses the given text into a formula of the given type.
S	Parser.parseFormulaFromFile(String filename)	Parses the file of the given filename into a formula of the given type.
List<T>	Parser.parseListOfBeliefBases(String text)	Parses the given text into a list of belief bases of the given type.
List<T>	Parser.parseListOfBeliefBases(String text, String delimiter)	Parses the given text into a list of belief bases of the given type.
List<T>	Parser.parseListOfBeliefBasesFromFile(String filename)	Parses the file of the given filename into a list of belief bases of the given type.
List<T>	Parser.parseListOfBeliefBasesFromFile(String filename, String delimiter)	Parses the file of the given filename into a list of belief bases of the given type.

Uses of ParserException in org.tweetyproject.logics.bpm.examples

Methods in org.tweetyproject.logics.bpm.examples that throw ParserException

Modifier and Type	Method	Description
static void	Example.main(String[] args)	Specify BPMN models for which the functionalities of inconsistency analysis are to be visualized

Uses of ParserException in org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Methods in org.tweetyproject.logics.bpm.parser.bpmn_to_petri that throw ParserException

Modifier and Type	Method	Description
BeliefBase	PetriNetParser.parseBeliefBase(Reader reader)
Formula	PetriNetParser.parseFormula(Reader reader)

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

Methods in org.tweetyproject.logics.bpm.parser.xml_to_bpmn that throw ParserException

Modifier and Type	Method	Description
BeliefBase	RootParser.parseBeliefBase(Reader reader)
Formula	RootParser.parseFormula(Reader reader)

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

Methods in org.tweetyproject.logics.cl.parser that throw ParserException

Modifier and Type	Method	Description
ClBeliefSet	ClParser.parseBeliefBase(Reader reader)
Conditional	ClParser.parseFormula(Reader reader)

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

Methods in org.tweetyproject.logics.commons.analysis that throw ParserException

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 ParserException in org.tweetyproject.logics.dl.examples

Methods in org.tweetyproject.logics.dl.examples that throw ParserException

Modifier and Type	Method	Description
static void	DlExample.main(String[] args)	Main method demonstrating the creation of a description logic knowledge base, parsing a knowledge base from a file, and using a naive DL reasoner.

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

Methods in org.tweetyproject.logics.dl.parser that throw ParserException

Modifier and Type	Method	Description
DlBeliefSet	DlParser.parseBeliefBase(Reader reader)
DlAxiom	DlParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.dl.test

Methods in org.tweetyproject.logics.dl.test that throw ParserException

Modifier and Type	Method	Description
void	DlReasonerTest.ComplexQueryTest()
void	DlParserTest.ParseBeliefBaseFromFileTest()
void	DlParserTest.ParseComplexEquivalenceTest1()
void	DlParserTest.ParseComplexEquivalenceTest2()
void	DlParserTest.ParseConceptAssertionTest()
void	DlParserTest.ParseEquivalenceTest()
void	DlParserTest.ParseRoleAssertionTest()
void	DlReasonerTest.SimpleQueryTest()

Uses of ParserException in org.tweetyproject.logics.fol.examples

Methods in org.tweetyproject.logics.fol.examples that throw ParserException

Modifier and Type	Method	Description
static void	FolExample.main(String[] args)	Main method fpr examples
static void	StandardFolWriterExample.main(String[] args)	Example
static void	TPTPParserExample.main(String[] args)	Example

Uses of ParserException in org.tweetyproject.logics.fol.parser

Methods in org.tweetyproject.logics.fol.parser that throw ParserException

Modifier and Type	Method	Description
FolBeliefSet	FolParser.parseBeliefBase(Reader reader)
FolBeliefSet	TPTPParser.parseBeliefBase(Reader reader)
FolFormula	FolParser.parseFormula(Reader reader)
FolFormula	TPTPParser.parseFormula(Reader reader)
void	FolParser.parseSortDeclaration(String s, FolSignature sig)	Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
void	FolParser.parseTypeDeclaration(String s, FolSignature sig)	Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" and modifies the given signature accordingly.

Uses of ParserException in org.tweetyproject.logics.fol.test

Methods in org.tweetyproject.logics.fol.test that throw ParserException

Modifier and Type	Method	Description
void	FolParserTest.ContradictionTest()
void	FolParserTest.EmptyQuantificationTest()
void	FolParserTest.EqualityPredicateTest()
void	FolParserTest.ImplicationTest()
void	FolParserTest.NestedQuantifiedFormulaTest()
void	FolParserTest.ParseBeliefBaseFromFileTest()
void	FolParserTest.ParseExistsQuantificationTest()
void	FolParserTest.ParseForallQuantificationTest()
void	FolParserTest.TautologyTest()
void	FolParserTest.WrongArityTest()
void	FolParserTest.XorTest()

Uses of ParserException in org.tweetyproject.logics.fol.writer

Methods in org.tweetyproject.logics.fol.writer that throw ParserException

Modifier and Type	Method	Description
void	SPASSWriter.printProblem(FolBeliefSet kb, RelationalFormula formula)	Prints the contents of a SPASS problem file for a given knowledge base and a formula.

Uses of ParserException in org.tweetyproject.logics.ml

Methods in org.tweetyproject.logics.ml that throw ParserException

Modifier and Type	Method	Description
void	MleanCoPTest.ComplexQueryTest()
void	SPASSTest.ComplexQueryTest()
void	MlReasonerTest.ContradictionAsQueryTest()
void	MlReasonerTest.EmptyBeliefBaseTest()
void	MlParserTest.EmptyNecessityTest()
void	MlParserTest.EmptyPossibilityTest()
void	MlReasonerTest.ImplicationTest()
void	MleanCoPTest.init()
void	MlParserTest.MissingCharacterTest()
void	MlParserTest.NestedModalFormulaTest()
void	MlParserTest.ParseBeliefBaseFromFileTest()
void	MlParserTest.ParseModalFormulaTest()
void	MleanCoPTest.SimpleQueryTest()
void	MlReasonerTest.SimpleQueryTest1()
void	SPASSTest.SimpleQueryTest1()
void	MlReasonerTest.SimpleQueryTest2()
void	SPASSTest.SimpleQueryTest2()
void	MlReasonerTest.SimpleQueryTest3()
void	MlReasonerTest.SimpleQueryTest4()
void	MlReasonerTest.TautologyAsQueryTest()
void	MlReasonerTest.UnrecognizedQueryTest()
void	MlParserTest.WrongCharacterOrderTest()
void	MlParserTest.XorModalTest()

Uses of ParserException in org.tweetyproject.logics.ml.examples

Methods in org.tweetyproject.logics.ml.examples that throw ParserException

Modifier and Type	Method	Description
static void	MlExample.main(String[] args)	Demonstrates the parsing and reasoning capabilities of the `MlParser` and `SimpleMlReasoner` classes.
static void	MlExample2.main(String[] args)	Demonstrates the creation and reasoning over a modal logic belief set using the `MlParser` and `AbstractMlReasoner` classes.

Uses of ParserException in org.tweetyproject.logics.ml.parser

Methods in org.tweetyproject.logics.ml.parser that throw ParserException

Modifier and Type	Method	Description
MlBeliefSet	MlParser.parseBeliefBase(Reader reader)
RelationalFormula	MlParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.ml.writer

Methods in org.tweetyproject.logics.ml.writer that throw ParserException

Modifier and Type	Method	Description
void	SPASSWriter.printProblem(MlBeliefSet kb, RelationalFormula formula)	Prints the contents of a SPASS problem file for a given knowledge base and a formula.

Uses of ParserException in org.tweetyproject.logics.mln.examples

Methods in org.tweetyproject.logics.mln.examples that throw ParserException

Modifier and Type	Method	Description
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.CommonColdExample(int domain_size)	Constructs the Common Cold MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)	Constructs the Elephant Zoo Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)	Generates a pair of a MarkovLogicNetwork and a FolSignature based on the example number.
static void	AlchemyExample.main(String[] args)	The main method to run the Alchemy reasoner example.
static void	ApproximationExample.main(String[] args)	The main method to run the approximation example.
static void	MlnExample.main(String[] args)	Main method to demonstrate the usage of coherence measures on different MLN examples.
static void	MlnExample2.main(String[] args)	Main method to demonstrate the usage of coherence measures on different Nixon MLN examples.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()	Constructs the Nixon1 MLN example, which represents a scenario with Quakers, Republicans, and Pacifists with certain probabilities.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()	Constructs the Nixon2 MLN example, which represents Nixon being both a Quaker, Republican, and President.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()	Constructs the Nixon3 MLN example, which represents Reagan as an actor and president, with certain probabilities on roles.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)	Constructs the Simple Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int domain_size)	Constructs the Smokers Example MLN with a given domain size.

Uses of ParserException in org.tweetyproject.logics.pcl.analysis

Methods in org.tweetyproject.logics.pcl.analysis that throw ParserException

Modifier and Type	Method	Description
static void	MaximumEntropyMachineShop.main(String[] args)	Example

Uses of ParserException in org.tweetyproject.logics.pcl.examples

Methods in org.tweetyproject.logics.pcl.examples that throw ParserException

Modifier and Type	Method	Description
static void	AnalysisExample.main(String[] args)	Main method illustrating how to compute the inconsistency measure, culpability, and repair a probabilistic belief set.
static void	MaxEntExample.main(String[] args)	Main method that demonstrates MaxEnt reasoning on a probabilistic conditional logic belief set.
static void	RepairExample.main(String[] args)	Main method demonstrating the repair of an inconsistent probabilistic conditional logic belief set.

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

Methods in org.tweetyproject.logics.pcl.parser that throw ParserException

Modifier and Type	Method	Description
PclBeliefSet	PclParser.parseBeliefBase(Reader reader)
ProbabilisticConditional	PclParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.pcl.util

Methods in org.tweetyproject.logics.pcl.util that throw ParserException

Modifier and Type	Method	Description
static void	MatlabUtils.main(String[] args)	Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].

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

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that throw ParserException

Modifier and Type	Method	Description
BeliefBase	ReachabilityGraphParser.parseBeliefBase(Reader reader)
Formula	ReachabilityGraphParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.pl.examples

Methods in org.tweetyproject.logics.pl.examples that throw ParserException

Modifier and Type	Method	Description
static void	ContensionExample.main(String[] args)	main
static void	DfInconsistencyMeasureExample.main(String[] args)	main
static void	DSumMeasureExample.main(String[] args)	main
static void	FuzzyMeasureExample.main(String[] args)	main
static void	IcebergInconsistencyExample.main(String[] args)	main
static void	InconsistencyMeasureEvaluationExample.main(String[] args)	main
static void	MaMeasureExample.main(String[] args)	main
static void	MaxSatExample.main(String[] args)	main
static void	McscInconsistencyMeasureExample.main(String[] args)	main
static void	MinimalInconsistentSubsetExample.main(String[] args)	main
static void	MusExample.main(String[] args)	main
static void	PlExample.main(String[] args)	main
static void	PmMeasureExample.main(String[] args)	main
static void	PrimeImplicantTest.main(String[] args)	Test method
static void	SatSolverExample.main(String[] args)	main
static void	SimplePlInterpolantEnumeratorExample.main(String[] args)	main

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

Methods in org.tweetyproject.logics.pl.parser that throw ParserException

Modifier and Type	Method	Description
PlBeliefSet	DimacsParser.parseBeliefBase(Reader reader)
PlBeliefSet	PlParser.parseBeliefBase(Reader reader)
Disjunction	DimacsParser.parseFormula(Reader reader)
PlFormula	PlParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.pl.test

Methods in org.tweetyproject.logics.pl.test that throw ParserException

Modifier and Type	Method	Description
void	PlParserTest.BrokenParenthesesTest()
void	PlParserTest.BrokenParenthesesTest2()
void	PlParserTest.BrokenParenthesesTest3()
void	PlParserTest.ConjunctionTest()
void	PlParserTest.ContradictionTest()
void	PlParserTest.DisjunctionTest()
void	PlParserTest.EmptyConjunctionTest()
void	PlParserTest.EmptyDisjunctionTest()
void	PlParserTest.EmptyParenthesesTest()
void	PlParserTest.EquivalenceTest()
void	FbInconsistencyMeasureTest.example1()
void	FbInconsistencyMeasureTest.example2()
void	FbInconsistencyMeasureTest.example3()
void	FbInconsistencyMeasureTest.example4()
void	PlParserTest.ExclusiveDisjunctionTest()
void	PlParserTest.IllegalCharacterTest()
void	PlParserTest.ImplicationTest()
void	PlParserTest.IncompleteConjunctionTest()
void	PlParserTest.IncompleteDisjunctionTest()
void	PlParserTest.initParser()
void	PlParserTest.NegationTest()
void	PlParserTest.NestedFormulaTest()
void	PlParserTest.ParseBeliefBaseFromFileTest()
void	PlParserTest.ParseBeliefBaseTest()
void	PlParserTest.PropositionTest()
void	SimpleDpllSolverTest.SolverTest()
void	PlParserTest.SpecialCharactersTest()
void	PlParserTest.TautologyTest()
void	FuzzyInconsistencyMeasureTest.test()
void	CspInconsistencyMeasureTest.test1()
void	CspInconsistencyMeasureTest.test2()
void	CspInconsistencyMeasureTest.test3()
void	CspInconsistencyMeasureTest.test4()
void	CspInconsistencyMeasureTest.test5()
void	CspInconsistencyMeasureTest.test6()
void	CspInconsistencyMeasureTest.test7()
void	CspInconsistencyMeasureTest.test8()
void	CspInconsistencyMeasureTest.test9()

Uses of ParserException in org.tweetyproject.logics.qbf.examples

Methods in org.tweetyproject.logics.qbf.examples that throw ParserException

Modifier and Type	Method	Description
static void	QbfExample.main(String[] args)	Demonstrates the use of the TweetyProject library for working with various types of belief sets and parsers, including propositional logic, QBF (Quantified Boolean Formulas), QDIMACS, and QCir formats.
static void	QbfReasonersExample.main(String[] args)	Demonstrates the use of various Quantified Boolean Formula (QBF) reasoners and solvers with the TweetyProject library.

Uses of ParserException in org.tweetyproject.logics.qbf.parser

Methods in org.tweetyproject.logics.qbf.parser that throw ParserException

Modifier and Type	Method	Description
PlBeliefSet	QbfParser.parseBeliefBase(Reader reader)
PlBeliefSet	QCirParser.parseBeliefBase(Reader reader)
PlBeliefSet	QdimacsParser.parseBeliefBase(Reader reader)
PlFormula	QbfParser.parseFormula(Reader reader)
PlFormula	QCirParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.qbf.test

Methods in org.tweetyproject.logics.qbf.test that throw ParserException

Modifier and Type	Method	Description
void	QCIRTest.ComplexBeliefBaseTest()
void	QDIMACSTest.ComplexBeliefBaseTest()
void	QbfTest.ParseNestedQuantifiedFormulaTest()
void	QbfTest.ParseQuantifiedFormulaTest()
void	QCIRTest.SimpleBeliefBaseTest()
void	QDIMACSTest.SimpleBeliefBaseTest()
void	QCIRTest.SingleFormulasTest()

Uses of ParserException in org.tweetyproject.logics.rcl.examples

Methods in org.tweetyproject.logics.rcl.examples that throw ParserException

Modifier and Type	Method	Description
static void	RclExample.main(String[] args)	The main method serves as the entry point for the example application.

Uses of ParserException in org.tweetyproject.logics.rcl.parser

Methods in org.tweetyproject.logics.rcl.parser that throw ParserException

Modifier and Type	Method	Description
RclBeliefSet	RclParser.parseBeliefBase(Reader reader)
RelationalConditional	RclParser.parseFormula(Reader reader)

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

Methods in org.tweetyproject.logics.rdl.parser that throw ParserException

Modifier and Type	Method	Description
DefaultTheory	RdlParser.parseBeliefBase(Reader reader)
Formula	RdlParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.rpcl.examples

Methods in org.tweetyproject.logics.rpcl.examples that throw ParserException

Modifier and Type	Method	Description
static void	RpclMeReasonerExample2.main(String[] args)	Example

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

Methods in org.tweetyproject.logics.rpcl.parser that throw ParserException

Modifier and Type	Method	Description
RpclBeliefSet	RpclParser.parseBeliefBase(Reader reader)
RelationalProbabilisticConditional	RpclParser.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that throw ParserException

Modifier and Type	Method	Description
CondensedProbabilityDistribution	RpclCondensedProbabilityDistributionParser.parseCondensedProbabilityDistribution(Reader reader)	Return parsed CondensedProbabilityDistribution

Uses of ParserException in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that throw ParserException

Modifier and Type	Method	Description
RpclProbabilityDistribution	RpclProbabilityDistributionParser.parseProbabilityDistribution(Reader reader)	Parses the probability distribution from the provided reader.

Uses of ParserException in org.tweetyproject.logics.translators.adfcl

Methods in org.tweetyproject.logics.translators.adfcl that throw ParserException

Modifier and Type	Method	Description
static void	CompareInference.main(String[] args)	Compare inference behavior of an ADF with that of an OCF induced by translation function Theta

Uses of ParserException in org.tweetyproject.logics.translators.adfpossibilistic

Methods in org.tweetyproject.logics.translators.adfpossibilistic that throw ParserException

Modifier and Type	Method	Description
static void	PossibilisticGammaOperator.main(String[] args)	Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution
static void	RunPossibilityDistribution.main(String[] args)	Main method

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

Methods in org.tweetyproject.logics.translators.adfrevision that throw ParserException

Modifier and Type	Method	Description
PlBeliefSet	PlParserThreeValued.parseBeliefBase(Reader reader)
PlFormula	PlParserThreeValued.parseFormula(Reader reader)

Uses of ParserException in org.tweetyproject.math.examples

Methods in org.tweetyproject.math.examples that throw ParserException

Modifier and Type	Method	Description
static void	ApacheCommonsCMAESOptimizerEx.main(String[] args)	main method
static void	ApacheCommonsNonLinearConjugateGradientOptimizerEx.main(String[] args)	main method
static void	ApacheCommonsSimplexEx.main(String[] args)	main method
static void	ApacheCommonsSimplexEx2.main(String[] args)	main method
static void	BfgsSolverEx.main(String[] args)	main method
static void	GlpkSolverEx.main(String[] args)	main method
static void	GradientDescentSolverEx.main(String[] args)	main method
static void	GurobiTest.main(String[] args)	main method
static void	HessianGradientSolverEx.main(String[] args)	main method
static void	IteratedLocalSearchOnConstrProbEx.main(String[] args)	main method
static void	LagrangeSolverEx.main(String[] args)	main method
static void	LagrangeSolverEx2.main(String[] args)	main method
static void	LpSolverEx.main(String[] args)	main method
static void	OctaveSqpSolverEx.main(String[] args)	main method
static void	SimpleGeneticOptimizationSolverEx.main(String[] args)	main method
static void	SimulatedAnnealingOnConstrProbEx2.main(String[] args)	main method
static void	StochasticLocalSearchOnConstrProbEx.main(String[] args)	main method
static void	TabuSearchOnConstrProbEx.main(String[] args)	main method

Uses of ParserException in org.tweetyproject.web.services

Methods in org.tweetyproject.web.services that throw ParserException

Modifier and Type	Method	Description
Response	RequestController.handleRequest(AbaReasonerPost AbaReasonerPost)	Handles HTTP POST requests at the endpoint "/aba".