Uses of Class
org.tweetyproject.commons.ParserException
Package
Description
-
Uses of ParserException in org.tweetyproject.action.description.parser
Modifier and TypeMethodDescriptionCLawParser.parseBeliefBase(Reader reader)
CParser.parseBeliefBase(Reader reader)
CLawParser.parseFormula(Reader reader)
CLawParser.parseFormula(String s)
CParser.parseFormula(Reader reader)
CParser.parseFormula(String formula)
-
Uses of ParserException in org.tweetyproject.action.grounding.parser
Modifier and TypeMethodDescriptionGroundingRequirementsParser.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.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
-
Uses of ParserException in org.tweetyproject.action.signature.parser
Modifier and TypeMethodDescriptionActionSignatureParser.parseSignature(Reader reader)
Parses the given reader into a signature of the given type.ActionSignatureParser.parseSignature(String text)
Parses the given text into a signature of the given type.ActionSignatureParser.parseSignatureFromFile(String filename)
Parses the file of the given filename into a signature. -
Uses of ParserException in org.tweetyproject.agents.dialogues.examples
-
Uses of ParserException in org.tweetyproject.arg.aba.examples
-
Uses of ParserException in org.tweetyproject.arg.aba.parser
Modifier and TypeMethodDescriptionAbaParser.parseBeliefBase(Reader reader)
AbaParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.arg.aspic.examples
-
Uses of ParserException in org.tweetyproject.arg.aspic.parser
Modifier and TypeMethodDescriptionAspicParser.parseBeliefBase(Reader reader)
AspicParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.arg.deductive.examples
-
Uses of ParserException in org.tweetyproject.arg.deductive.parser
Modifier and TypeMethodDescriptionSimplePlLogicParser.parseBeliefBase(Reader reader)
Read an entire piece of text and send each line to the actual parserSimplePlLogicParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.arg.delp.examples
-
Uses of ParserException in org.tweetyproject.arg.delp.parser
Modifier and TypeMethodDescriptionDelpParser.parseBeliefBase(Reader reader)
DelpParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.arg.dung.examples
-
Uses of ParserException in org.tweetyproject.arg.dung.parser
Modifier and TypeMethodDescriptionAbstractDungParser.parseBeliefBase(Reader reader)
AbstractDungParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.beliefdynamics.examples
-
Uses of ParserException in org.tweetyproject.commons
Modifier and TypeMethodDescriptionabstract T
Parser.parseBeliefBase(Reader reader)
Parses the given reader into a belief base of the given type.Parser.parseBeliefBase(String text)
Parses the given text into a belief base of the given type.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.Parser.parseFormula(String text)
Parses the given text into a formula of the given type.Parser.parseFormulaFromFile(String filename)
Parses the file of the given filename into a formula of the given type.Parser.parseListOfBeliefBases(String text)
Parses the given text into a list of belief bases of the given type.Parser.parseListOfBeliefBases(String text, String delimiter)
Parses the given text into a list of belief bases of the given type.Parser.parseListOfBeliefBasesFromFile(String filename)
Parses the file of the given filename into a list of belief bases of the given type.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
-
Uses of ParserException in org.tweetyproject.logics.bpm.parser.bpmn_to_petri
Modifier and TypeMethodDescriptionPetriNetParser.parseBeliefBase(Reader reader)
PetriNetParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Modifier and TypeMethodDescriptionRootParser.parseBeliefBase(Reader reader)
RootParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.cl.examples
-
Uses of ParserException in org.tweetyproject.logics.cl.parser
Modifier and TypeMethodDescriptionClParser.parseBeliefBase(Reader reader)
ClParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.commons.analysis
Modifier and TypeMethodDescriptionvoid
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
-
Uses of ParserException in org.tweetyproject.logics.dl.parser
Modifier and TypeMethodDescriptionDlParser.parseBeliefBase(Reader reader)
DlParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.dl.test
Modifier and TypeMethodDescriptionvoid
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
-
Uses of ParserException in org.tweetyproject.logics.fol.parser
Modifier and TypeMethodDescriptionFolParser.parseBeliefBase(Reader reader)
TPTPParser.parseBeliefBase(Reader reader)
FolParser.parseFormula(Reader reader)
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
Modifier and TypeMethodDescriptionvoid
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
Modifier and TypeMethodDescriptionvoid
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
Modifier and TypeMethodDescriptionvoid
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
-
Uses of ParserException in org.tweetyproject.logics.ml.parser
Modifier and TypeMethodDescriptionMlParser.parseBeliefBase(Reader reader)
MlParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.ml.writer
Modifier and TypeMethodDescriptionvoid
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
Modifier and TypeMethodDescriptionstatic Pair<MarkovLogicNetwork,FolSignature>
MlnExample.CommonColdExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample.ElephantZooExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample.iterateExamples(int exNum, int domain_size)
static void
static void
static void
static void
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample2.Nixon1()
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample2.Nixon2()
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample2.Nixon3()
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample.SimpleExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>
MlnExample.SmokersExample(int domain_size)
-
Uses of ParserException in org.tweetyproject.logics.pcl.analysis
-
Uses of ParserException in org.tweetyproject.logics.pcl.examples
-
Uses of ParserException in org.tweetyproject.logics.pcl.parser
Modifier and TypeMethodDescriptionPclParser.parseBeliefBase(Reader reader)
PclParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.pcl.util
-
Uses of ParserException in org.tweetyproject.logics.petri.syntax.reachability_graph
Modifier and TypeMethodDescriptionReachabilityGraphParser.parseBeliefBase(Reader reader)
ReachabilityGraphParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.pl.examples
Modifier and TypeMethodDescriptionstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
mainstatic void
main -
Uses of ParserException in org.tweetyproject.logics.pl.parser
Modifier and TypeMethodDescriptionDimacsParser.parseBeliefBase(Reader reader)
PlParser.parseBeliefBase(Reader reader)
DimacsParser.parseFormula(Reader reader)
PlParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.pl.test
Modifier and TypeMethodDescriptionvoid
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
-
Uses of ParserException in org.tweetyproject.logics.qbf.parser
Modifier and TypeMethodDescriptionQbfParser.parseBeliefBase(Reader reader)
QCirParser.parseBeliefBase(Reader reader)
QdimacsParser.parseBeliefBase(Reader reader)
QbfParser.parseFormula(Reader reader)
QCirParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.qbf.test
Modifier and TypeMethodDescriptionvoid
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
-
Uses of ParserException in org.tweetyproject.logics.rcl.parser
Modifier and TypeMethodDescriptionRclParser.parseBeliefBase(Reader reader)
RclParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.rdl.parser
Modifier and TypeMethodDescriptionRdlParser.parseBeliefBase(Reader reader)
RdlParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.rpcl.examples
-
Uses of ParserException in org.tweetyproject.logics.rpcl.parser
Modifier and TypeMethodDescriptionRpclParser.parseBeliefBase(Reader reader)
RpclParser.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionRpclCondensedProbabilityDistributionParser.parseCondensedProbabilityDistribution(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Modifier and TypeMethodDescriptionRpclProbabilityDistributionParser.parseProbabilityDistribution(Reader reader)
-
Uses of ParserException in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionPlParserThreeValued.parseBeliefBase(Reader reader)
PlParserThreeValued.parseFormula(Reader reader)
-
Uses of ParserException in org.tweetyproject.math.examples
Modifier and TypeMethodDescriptionstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main methodstatic void
main method