Uses of Class
net.sf.tweety.commons.ParserException
-
-
-
Uses of ParserException in net.sf.tweety.action.description.parser
Methods in net.sf.tweety.action.description.parser that throw ParserException Modifier and Type Method Description CActionDescription
CLawParser. parseBeliefBase(java.io.Reader reader)
CActionDescription
CParser. parseBeliefBase(java.io.Reader reader)
Formula
CLawParser. parseFormula(java.io.Reader reader)
Formula
CLawParser. parseFormula(java.lang.String s)
Formula
CParser. parseFormula(java.io.Reader reader)
Formula
CParser. parseFormula(java.lang.String formula)
-
Uses of ParserException in net.sf.tweety.action.grounding.parser
Methods in net.sf.tweety.action.grounding.parser that throw ParserException Modifier and Type Method Description GroundingRequirement
GroundingRequirementsParser. parseRequirement(java.lang.String s, java.util.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.java.util.Set<GroundingRequirement>
GroundingRequirementsParser. parseRequirements(java.lang.String s, java.util.Set<Variable> variables)
Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)* -
Uses of ParserException in net.sf.tweety.action.query.parser
Methods in net.sf.tweety.action.query.parser that throw ParserException Modifier and Type Method Description SActionQuery
ActionQueryParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.action.signature.parser
Methods in net.sf.tweety.action.signature.parser that throw ParserException Modifier and Type Method Description ActionSignature
ActionSignatureParser. parseSignature(java.io.Reader reader)
Parses the given reader into a signature of the given type.ActionSignature
ActionSignatureParser. parseSignature(java.lang.String text)
Parses the given text into a signature of the given type.ActionSignature
ActionSignatureParser. parseSignatureFromFile(java.lang.String filename)
Parses the file of the given filename into a signature. -
Uses of ParserException in net.sf.tweety.agents.dialogues.examples
Methods in net.sf.tweety.agents.dialogues.examples that throw ParserException Modifier and Type Method Description static void
LotteryDialogueTest2. main(java.lang.String[] args)
Main method for evaluation. -
Uses of ParserException in net.sf.tweety.arg.aba.examples
Methods in net.sf.tweety.arg.aba.examples that throw ParserException Modifier and Type Method Description static void
AbaExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.aba.parser
Methods in net.sf.tweety.arg.aba.parser that throw ParserException Modifier and Type Method Description AbaTheory<T>
AbaParser. parseBeliefBase(java.io.Reader reader)
Formula
AbaParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.arg.adf.parser
Methods in net.sf.tweety.arg.adf.parser that throw ParserException Modifier and Type Method Description AbstractDialecticalFramework
KppADFFormatParser. parseBeliefBase(java.io.Reader reader)
Formula
KppADFFormatParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.arg.adf.parser.test
Methods in net.sf.tweety.arg.adf.parser.test that throw ParserException Modifier and Type Method Description void
KppADFFormatParserTest. testAllKppADFInstances()
void
KppADFFormatParserTest. testAllValid()
void
KppADFFormatParserTest. testMissingDot1()
void
KppADFFormatParserTest. testMissingDot2()
void
KppADFFormatParserTest. testMissingDot3()
void
KppADFFormatParserTest. testMissingDot4()
void
KppADFFormatParserTest. testNoLinebreak()
void
KppADFFormatParserTest. testNoWhitespace()
void
KppADFFormatParserTest. testUndefinedArgumentInACC()
-
Uses of ParserException in net.sf.tweety.arg.aspic.examples
Methods in net.sf.tweety.arg.aspic.examples that throw ParserException Modifier and Type Method Description static void
AspicExample2. main(java.lang.String[] args)
static void
AspicExampleFol. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.aspic.parser
Methods in net.sf.tweety.arg.aspic.parser that throw ParserException Modifier and Type Method Description AspicArgumentationTheory<T>
AspicParser. parseBeliefBase(java.io.Reader reader)
Formula
AspicParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.arg.deductive.examples
Methods in net.sf.tweety.arg.deductive.examples that throw ParserException Modifier and Type Method Description static void
DeductiveExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.deductive.parser
Methods in net.sf.tweety.arg.deductive.parser that throw ParserException Modifier and Type Method Description SimplePlLogicDeductiveKnowledgebase
SimplePlLogicParser. parseBeliefBase(java.io.Reader reader)
Read an entire piece of text and send each line to the actual parserSimplePlRule
SimplePlLogicParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.arg.delp.examples
Methods in net.sf.tweety.arg.delp.examples that throw ParserException Modifier and Type Method Description static void
DeLPExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.delp.parser
Methods in net.sf.tweety.arg.delp.parser that throw ParserException Modifier and Type Method Description DefeasibleLogicProgram
DelpParser. parseBeliefBase(java.io.Reader reader)
Formula
DelpParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.arg.dung.examples
Methods in net.sf.tweety.arg.dung.examples that throw ParserException Modifier and Type Method Description static void
AcceptabilityReasonerExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.dung.parser
Methods in net.sf.tweety.arg.dung.parser that throw ParserException Modifier and Type Method Description DungTheory
AbstractDungParser. parseBeliefBase(java.io.Reader reader)
Formula
AbstractDungParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.beliefdynamics.examples
Methods in net.sf.tweety.beliefdynamics.examples that throw ParserException Modifier and Type Method Description static void
CrMasExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.commons
Methods in net.sf.tweety.commons that throw ParserException Modifier and Type Method Description abstract T
Parser. parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.T
Parser. parseBeliefBase(java.lang.String text)
Parses the given text into a belief base of the given type.T
Parser. parseBeliefBaseFromFile(java.lang.String filename)
Parses the file of the given filename into a belief base of the given type.abstract S
Parser. parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.S
Parser. parseFormula(java.lang.String text)
Parses the given text into a formula of the given type.S
Parser. parseFormulaFromFile(java.lang.String filename)
Parses the file of the given filename into a formula of the given type. -
Uses of ParserException in net.sf.tweety.logics.cl.parser
Methods in net.sf.tweety.logics.cl.parser that throw ParserException Modifier and Type Method Description ClBeliefSet
ClParser. parseBeliefBase(java.io.Reader reader)
Conditional
ClParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.dl.examples
Methods in net.sf.tweety.logics.dl.examples that throw ParserException Modifier and Type Method Description static void
DlExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.dl.parser
Methods in net.sf.tweety.logics.dl.parser that throw ParserException Modifier and Type Method Description DlBeliefSet
DlParser. parseBeliefBase(java.io.Reader reader)
DlAxiom
DlParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.dl.test
Methods in net.sf.tweety.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 net.sf.tweety.logics.fol.examples
Methods in net.sf.tweety.logics.fol.examples that throw ParserException Modifier and Type Method Description static void
FolExample. main(java.lang.String[] args)
static void
StandardFolWriterExample. main(java.lang.String[] args)
static void
TPTPParserExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.fol.parser
Methods in net.sf.tweety.logics.fol.parser that throw ParserException Modifier and Type Method Description FolBeliefSet
FolParser. parseBeliefBase(java.io.Reader reader)
FolBeliefSet
TPTPParser. parseBeliefBase(java.io.Reader reader)
FolFormula
FolParser. parseFormula(java.io.Reader reader)
FolFormula
TPTPParser. parseFormula(java.io.Reader reader)
void
FolParser. parseSortDeclaration(java.lang.String s, FolSignature sig)
Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.void
FolParser. parseTypeDeclaration(java.lang.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 net.sf.tweety.logics.fol.test
Methods in net.sf.tweety.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 net.sf.tweety.logics.fol.writer
Methods in net.sf.tweety.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 net.sf.tweety.logics.ml
Methods in net.sf.tweety.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 net.sf.tweety.logics.ml.examples
Methods in net.sf.tweety.logics.ml.examples that throw ParserException Modifier and Type Method Description static void
MlExample. main(java.lang.String[] args)
static void
MlExample2. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.ml.parser
Methods in net.sf.tweety.logics.ml.parser that throw ParserException Modifier and Type Method Description MlBeliefSet
MlParser. parseBeliefBase(java.io.Reader reader)
RelationalFormula
MlParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.ml.writer
Methods in net.sf.tweety.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 net.sf.tweety.logics.mln.examples
Methods in net.sf.tweety.logics.mln.examples that throw ParserException Modifier and Type Method Description static 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
AlchemyExample. main(java.lang.String[] args)
static void
ApproximationExample. main(java.lang.String[] args)
static void
MlnExample. main(java.lang.String[] args)
static void
MlnExample2. main(java.lang.String[] args)
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 net.sf.tweety.logics.pcl.analysis
Methods in net.sf.tweety.logics.pcl.analysis that throw ParserException Modifier and Type Method Description static void
MaximumEntropyMachineShop. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.pcl.examples
Methods in net.sf.tweety.logics.pcl.examples that throw ParserException Modifier and Type Method Description static void
AnalysisExample. main(java.lang.String[] args)
static void
RepairExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.pcl.parser
Methods in net.sf.tweety.logics.pcl.parser that throw ParserException Modifier and Type Method Description PclBeliefSet
PclParser. parseBeliefBase(java.io.Reader reader)
ProbabilisticConditional
PclParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.pcl.util
Methods in net.sf.tweety.logics.pcl.util that throw ParserException Modifier and Type Method Description static void
MatlabUtils. main(java.lang.String[] args)
Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014]. -
Uses of ParserException in net.sf.tweety.logics.pl.examples
Methods in net.sf.tweety.logics.pl.examples that throw ParserException Modifier and Type Method Description static void
ContensionExample. main(java.lang.String[] args)
static void
DfInconsistencyMeasureExample. main(java.lang.String[] args)
static void
DSumMeasureExample. main(java.lang.String[] args)
static void
FuzzyMeasureExample. main(java.lang.String[] args)
static void
IcebergInconsistencyExample. main(java.lang.String[] args)
static void
LingelingExample. main(java.lang.String[] args)
static void
MaMeasureExample. main(java.lang.String[] args)
static void
MaxSatExample. main(java.lang.String[] args)
static void
McscInconsistencyMeasureExample. main(java.lang.String[] args)
static void
MinimalInconsistentSubsetExample. main(java.lang.String[] args)
static void
MusExample. main(java.lang.String[] args)
static void
PlExample. main(java.lang.String[] args)
static void
PmMeasureExample. main(java.lang.String[] args)
static void
SimplePlInterpolantEnumeratorExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.pl.parser
Methods in net.sf.tweety.logics.pl.parser that throw ParserException Modifier and Type Method Description PlBeliefSet
DimacsParser. parseBeliefBase(java.io.Reader reader)
PlBeliefSet
PlParser. parseBeliefBase(java.io.Reader reader)
Disjunction
DimacsParser. parseFormula(java.io.Reader reader)
PlFormula
PlParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.pl.test
Methods in net.sf.tweety.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 net.sf.tweety.logics.qbf.examples
Methods in net.sf.tweety.logics.qbf.examples that throw ParserException Modifier and Type Method Description static void
QbfExample. main(java.lang.String[] args)
static void
QbfReasonersExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.qbf.parser
Methods in net.sf.tweety.logics.qbf.parser that throw ParserException Modifier and Type Method Description PlBeliefSet
QbfParser. parseBeliefBase(java.io.Reader reader)
PlBeliefSet
QCirParser. parseBeliefBase(java.io.Reader reader)
PlBeliefSet
QdimacsParser. parseBeliefBase(java.io.Reader reader)
PlFormula
QbfParser. parseFormula(java.io.Reader reader)
PlFormula
QCirParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.qbf.test
Methods in net.sf.tweety.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 net.sf.tweety.logics.rcl.examples
Methods in net.sf.tweety.logics.rcl.examples that throw ParserException Modifier and Type Method Description static void
RclExample. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.rcl.parser
Methods in net.sf.tweety.logics.rcl.parser that throw ParserException Modifier and Type Method Description RclBeliefSet
RclParser. parseBeliefBase(java.io.Reader reader)
RelationalConditional
RclParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.rdl.parser
Methods in net.sf.tweety.logics.rdl.parser that throw ParserException Modifier and Type Method Description DefaultTheory
RdlParser. parseBeliefBase(java.io.Reader reader)
Formula
RdlParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.rpcl.examples
Methods in net.sf.tweety.logics.rpcl.examples that throw ParserException Modifier and Type Method Description static void
RpclMeReasonerExample2. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.logics.rpcl.parser
Methods in net.sf.tweety.logics.rpcl.parser that throw ParserException Modifier and Type Method Description RpclBeliefSet
RpclParser. parseBeliefBase(java.io.Reader reader)
RelationalProbabilisticConditional
RpclParser. parseFormula(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that throw ParserException Modifier and Type Method Description CondensedProbabilityDistribution
RpclCondensedProbabilityDistributionParser. parseCondensedProbabilityDistribution(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser that throw ParserException Modifier and Type Method Description RpclProbabilityDistribution
RpclProbabilityDistributionParser. parseProbabilityDistribution(java.io.Reader reader)
-
Uses of ParserException in net.sf.tweety.math.examples
Methods in net.sf.tweety.math.examples that throw ParserException Modifier and Type Method Description static void
ApacheCommonsCMAESOptimizerEx. main(java.lang.String[] args)
static void
ApacheCommonsNonLinearConjugateGradientOptimizerEx. main(java.lang.String[] args)
static void
ApacheCommonsSimplexEx. main(java.lang.String[] args)
static void
ApacheCommonsSimplexEx2. main(java.lang.String[] args)
static void
BfgsSolverEx. main(java.lang.String[] args)
static void
GlpkSolverEx. main(java.lang.String[] args)
static void
GradientDescentSolverEx. main(java.lang.String[] args)
static void
HessianGradientSolverEx. main(java.lang.String[] args)
static void
LagrangeSolverEx. main(java.lang.String[] args)
static void
LagrangeSolverEx2. main(java.lang.String[] args)
static void
LpSolverEx. main(java.lang.String[] args)
static void
OctaveSqpSolverEx. main(java.lang.String[] args)
static void
SimpleGeneticOptimizationSolverEx. main(java.lang.String[] args)
static void
SimulatedAnnealingOnConstrProbEx2. main(java.lang.String[] args)
static void
TabuSearchOnConstrProbEx. main(java.lang.String[] args)
-