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 CActionDescriptionCLawParser. parseBeliefBase(java.io.Reader reader)CActionDescriptionCParser. parseBeliefBase(java.io.Reader reader)FormulaCLawParser. parseFormula(java.io.Reader reader)FormulaCLawParser. parseFormula(java.lang.String s)FormulaCParser. parseFormula(java.io.Reader reader)FormulaCParser. 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 GroundingRequirementGroundingRequirementsParser. 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 SActionQueryActionQueryParser. 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 ActionSignatureActionSignatureParser. parseSignature(java.io.Reader reader)Parses the given reader into a signature of the given type.ActionSignatureActionSignatureParser. parseSignature(java.lang.String text)Parses the given text into a signature of the given type.ActionSignatureActionSignatureParser. 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 voidLotteryDialogueTest2. 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 voidAbaExample. 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)FormulaAbaParser. 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 AbstractDialecticalFrameworkKppADFFormatParser. parseBeliefBase(java.io.Reader reader)FormulaKppADFFormatParser. 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 voidKppADFFormatParserTest. testAllKppADFInstances()voidKppADFFormatParserTest. testAllValid()voidKppADFFormatParserTest. testMissingDot1()voidKppADFFormatParserTest. testMissingDot2()voidKppADFFormatParserTest. testMissingDot3()voidKppADFFormatParserTest. testMissingDot4()voidKppADFFormatParserTest. testNoLinebreak()voidKppADFFormatParserTest. testNoWhitespace()voidKppADFFormatParserTest. 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 voidAspicExample2. main(java.lang.String[] args)static voidAspicExampleFol. 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)FormulaAspicParser. 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 voidDeductiveExample. 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 SimplePlLogicDeductiveKnowledgebaseSimplePlLogicParser. parseBeliefBase(java.io.Reader reader)Read an entire piece of text and send each line to the actual parserSimplePlRuleSimplePlLogicParser. 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 voidDeLPExample. 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 DefeasibleLogicProgramDelpParser. parseBeliefBase(java.io.Reader reader)FormulaDelpParser. 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 voidAcceptabilityReasonerExample. 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 DungTheoryAbstractDungParser. parseBeliefBase(java.io.Reader reader)FormulaAbstractDungParser. 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 voidCrMasExample. 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 TParser. parseBeliefBase(java.io.Reader reader)Parses the given reader into a belief base of the given type.TParser. parseBeliefBase(java.lang.String text)Parses the given text into a belief base of the given type.TParser. parseBeliefBaseFromFile(java.lang.String filename)Parses the file of the given filename into a belief base of the given type.abstract SParser. parseFormula(java.io.Reader reader)Parses the given reader into a formula of the given type.SParser. parseFormula(java.lang.String text)Parses the given text into a formula of the given type.SParser. 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 ClBeliefSetClParser. parseBeliefBase(java.io.Reader reader)ConditionalClParser. 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 voidDlExample. 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 DlBeliefSetDlParser. parseBeliefBase(java.io.Reader reader)DlAxiomDlParser. 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 voidDlReasonerTest. ComplexQueryTest()voidDlParserTest. ParseBeliefBaseFromFileTest()voidDlParserTest. ParseComplexEquivalenceTest1()voidDlParserTest. ParseComplexEquivalenceTest2()voidDlParserTest. ParseConceptAssertionTest()voidDlParserTest. ParseEquivalenceTest()voidDlParserTest. ParseRoleAssertionTest()voidDlReasonerTest. 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 voidFolExample. main(java.lang.String[] args)static voidStandardFolWriterExample. main(java.lang.String[] args)static voidTPTPParserExample. 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 FolBeliefSetFolParser. parseBeliefBase(java.io.Reader reader)FolBeliefSetTPTPParser. parseBeliefBase(java.io.Reader reader)FolFormulaFolParser. parseFormula(java.io.Reader reader)FolFormulaTPTPParser. parseFormula(java.io.Reader reader)voidFolParser. parseSortDeclaration(java.lang.String s, FolSignature sig)Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.voidFolParser. 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 voidFolParserTest. ContradictionTest()voidFolParserTest. EmptyQuantificationTest()voidFolParserTest. EqualityPredicateTest()voidFolParserTest. ImplicationTest()voidFolParserTest. NestedQuantifiedFormulaTest()voidFolParserTest. ParseBeliefBaseFromFileTest()voidFolParserTest. ParseExistsQuantificationTest()voidFolParserTest. ParseForallQuantificationTest()voidFolParserTest. TautologyTest()voidFolParserTest. WrongArityTest()voidFolParserTest. 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 voidSPASSWriter. 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 voidMleanCoPTest. ComplexQueryTest()voidSPASSTest. ComplexQueryTest()voidMlReasonerTest. ContradictionAsQueryTest()voidMlReasonerTest. EmptyBeliefBaseTest()voidMlParserTest. EmptyNecessityTest()voidMlParserTest. EmptyPossibilityTest()voidMlReasonerTest. ImplicationTest()voidMleanCoPTest. init()voidMlParserTest. MissingCharacterTest()voidMlParserTest. NestedModalFormulaTest()voidMlParserTest. ParseBeliefBaseFromFileTest()voidMlParserTest. ParseModalFormulaTest()voidMleanCoPTest. SimpleQueryTest()voidMlReasonerTest. SimpleQueryTest1()voidSPASSTest. SimpleQueryTest1()voidMlReasonerTest. SimpleQueryTest2()voidSPASSTest. SimpleQueryTest2()voidMlReasonerTest. SimpleQueryTest3()voidMlReasonerTest. SimpleQueryTest4()voidMlReasonerTest. TautologyAsQueryTest()voidMlReasonerTest. UnrecognizedQueryTest()voidMlParserTest. WrongCharacterOrderTest()voidMlParserTest. 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 voidMlExample. main(java.lang.String[] args)static voidMlExample2. 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 MlBeliefSetMlParser. parseBeliefBase(java.io.Reader reader)RelationalFormulaMlParser. 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 voidSPASSWriter. 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 voidAlchemyExample. main(java.lang.String[] args)static voidApproximationExample. main(java.lang.String[] args)static voidMlnExample. main(java.lang.String[] args)static voidMlnExample2. 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 voidMaximumEntropyMachineShop. 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 voidAnalysisExample. main(java.lang.String[] args)static voidRepairExample. 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 PclBeliefSetPclParser. parseBeliefBase(java.io.Reader reader)ProbabilisticConditionalPclParser. 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 voidMatlabUtils. 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 voidContensionExample. main(java.lang.String[] args)static voidDfInconsistencyMeasureExample. main(java.lang.String[] args)static voidDSumMeasureExample. main(java.lang.String[] args)static voidFuzzyMeasureExample. main(java.lang.String[] args)static voidIcebergInconsistencyExample. main(java.lang.String[] args)static voidLingelingExample. main(java.lang.String[] args)static voidMaMeasureExample. main(java.lang.String[] args)static voidMaxSatExample. main(java.lang.String[] args)static voidMcscInconsistencyMeasureExample. main(java.lang.String[] args)static voidMinimalInconsistentSubsetExample. main(java.lang.String[] args)static voidMusExample. main(java.lang.String[] args)static voidPlExample. main(java.lang.String[] args)static voidPmMeasureExample. main(java.lang.String[] args)static voidSimplePlInterpolantEnumeratorExample. 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 PlBeliefSetDimacsParser. parseBeliefBase(java.io.Reader reader)PlBeliefSetPlParser. parseBeliefBase(java.io.Reader reader)DisjunctionDimacsParser. parseFormula(java.io.Reader reader)PlFormulaPlParser. 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 voidPlParserTest. BrokenParenthesesTest()voidPlParserTest. BrokenParenthesesTest2()voidPlParserTest. BrokenParenthesesTest3()voidPlParserTest. ConjunctionTest()voidPlParserTest. ContradictionTest()voidPlParserTest. DisjunctionTest()voidPlParserTest. EmptyConjunctionTest()voidPlParserTest. EmptyDisjunctionTest()voidPlParserTest. EmptyParenthesesTest()voidPlParserTest. EquivalenceTest()voidFbInconsistencyMeasureTest. example1()voidFbInconsistencyMeasureTest. example2()voidFbInconsistencyMeasureTest. example3()voidFbInconsistencyMeasureTest. example4()voidPlParserTest. ExclusiveDisjunctionTest()voidPlParserTest. IllegalCharacterTest()voidPlParserTest. ImplicationTest()voidPlParserTest. IncompleteConjunctionTest()voidPlParserTest. IncompleteDisjunctionTest()voidPlParserTest. initParser()voidPlParserTest. NegationTest()voidPlParserTest. NestedFormulaTest()voidPlParserTest. ParseBeliefBaseFromFileTest()voidPlParserTest. ParseBeliefBaseTest()voidPlParserTest. PropositionTest()voidSimpleDpllSolverTest. SolverTest()voidPlParserTest. SpecialCharactersTest()voidPlParserTest. TautologyTest()voidFuzzyInconsistencyMeasureTest. test()voidCspInconsistencyMeasureTest. test1()voidCspInconsistencyMeasureTest. test2()voidCspInconsistencyMeasureTest. test3()voidCspInconsistencyMeasureTest. test4()voidCspInconsistencyMeasureTest. test5()voidCspInconsistencyMeasureTest. test6()voidCspInconsistencyMeasureTest. test7()voidCspInconsistencyMeasureTest. test8()voidCspInconsistencyMeasureTest. 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 voidQbfExample. main(java.lang.String[] args)static voidQbfReasonersExample. 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 PlBeliefSetQbfParser. parseBeliefBase(java.io.Reader reader)PlBeliefSetQCirParser. parseBeliefBase(java.io.Reader reader)PlBeliefSetQdimacsParser. parseBeliefBase(java.io.Reader reader)PlFormulaQbfParser. parseFormula(java.io.Reader reader)PlFormulaQCirParser. 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 voidQCIRTest. ComplexBeliefBaseTest()voidQDIMACSTest. ComplexBeliefBaseTest()voidQbfTest. ParseNestedQuantifiedFormulaTest()voidQbfTest. ParseQuantifiedFormulaTest()voidQCIRTest. SimpleBeliefBaseTest()voidQDIMACSTest. SimpleBeliefBaseTest()voidQCIRTest. 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 voidRclExample. 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 RclBeliefSetRclParser. parseBeliefBase(java.io.Reader reader)RelationalConditionalRclParser. 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 DefaultTheoryRdlParser. parseBeliefBase(java.io.Reader reader)FormulaRdlParser. 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 voidRpclMeReasonerExample2. 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 RpclBeliefSetRpclParser. parseBeliefBase(java.io.Reader reader)RelationalProbabilisticConditionalRpclParser. 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 CondensedProbabilityDistributionRpclCondensedProbabilityDistributionParser. 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 RpclProbabilityDistributionRpclProbabilityDistributionParser. 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 voidApacheCommonsCMAESOptimizerEx. main(java.lang.String[] args)static voidApacheCommonsNonLinearConjugateGradientOptimizerEx. main(java.lang.String[] args)static voidApacheCommonsSimplexEx. main(java.lang.String[] args)static voidApacheCommonsSimplexEx2. main(java.lang.String[] args)static voidBfgsSolverEx. main(java.lang.String[] args)static voidGlpkSolverEx. main(java.lang.String[] args)static voidGradientDescentSolverEx. main(java.lang.String[] args)static voidHessianGradientSolverEx. main(java.lang.String[] args)static voidLagrangeSolverEx. main(java.lang.String[] args)static voidLagrangeSolverEx2. main(java.lang.String[] args)static voidLpSolverEx. main(java.lang.String[] args)static voidOctaveSqpSolverEx. main(java.lang.String[] args)static voidSimpleGeneticOptimizationSolverEx. main(java.lang.String[] args)static voidSimulatedAnnealingOnConstrProbEx2. main(java.lang.String[] args)static voidTabuSearchOnConstrProbEx. main(java.lang.String[] args)
-