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 private Formula
CLawParser. parseAlwaysFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form always A which is converted to caused - if !ACActionDescription
CLawParser. parseBeliefBase(java.io.Reader reader)
CActionDescription
CParser. parseBeliefBase(java.io.Reader reader)
private Formula
CLawParser. parseCausedFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form caused A (if B)? (after C)?private Formula
CLawParser. parseCausesFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form A causes B if C which is converted to caused B if + after A && Cprivate Formula
CLawParser. parseDefaultFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form default A (if B)? which is converted to the causal law caused A if A && Bprotected FolFormula
CLawParser. parseFolFormula(java.lang.String s)
Parses a FolFormula from a string using the FolParser classFormula
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)
private Formula
CLawParser. parseInertialFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form inertial A which is converted to the causal law caused A if A after Aprivate Formula
CLawParser. parseMayCauseFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form A may cause B if C which is converted to caused B if B after A && Cprivate Formula
CLawParser. parseNonexecutableFormula(java.lang.String s, java.lang.String reqString)
Parses a string containing a single causal law of the form nonexecutable A if B which is converted to caused - after A && B -
Uses of ParserException in net.sf.tweety.action.description.reasoner
Methods in net.sf.tweety.action.description.reasoner that throw ParserException Modifier and Type Method Description private java.util.Map<java.lang.Integer,java.util.Set<FolAtom>>
CTransitionSystemCalculator. parseLpTSingleLine(java.lang.String s, ActionSignature signature)
Utility function parsing a single answer set to a map from timestamp to the set of atoms with that particular timestamp. -
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 private void
ActionQueryParser. consumeToken(java.util.Stack<java.lang.Object> stack, int c)
This method reads one token from the given reader and appropriately constructs a propositional formula from the stream.private FolAction
ActionQueryParser. parseAction(java.util.List<java.lang.Object> l)
Parses a list of actionnames or a list of actions.private SActionQuery
ActionQueryParser. parseActionFormula(java.util.Stack<java.lang.Object> stack)
Parses a simple formula as a list of string tokens or formulas into an action query.private FolAtom
ActionQueryParser. parseActionName(java.lang.String s)
private PlFormula
ActionQueryParser. parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.private PlFormula
ActionQueryParser. parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.private PlFormula
ActionQueryParser. parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.SActionQuery
ActionQueryParser. parseFormula(java.io.Reader reader)
private PlFormula
ActionQueryParser. parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula. -
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.protected void
ActionSignatureParser. parseSortDeclaration(java.lang.String s)
Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and adds it to the signature.protected void
ActionSignatureParser. parseTypeDeclaration(java.lang.String s)
Parses an action declaration of the form "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" or a fluent declaration of the form "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" and adds them to the 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 void
KppADFFormatParser.IdentifierNode. addNode(KppADFFormatParser.Node node)
(package private) abstract void
KppADFFormatParser.Node. addNode(KppADFFormatParser.Node node)
void
KppADFFormatParser.UnaryNode. addNode(KppADFFormatParser.Node node)
Argument
KppADFFormatParser.IdentifierNode. parseArgument()
(package private) Argument
KppADFFormatParser.Node. parseArgument()
AbstractDialecticalFramework
KppADFFormatParser. parseBeliefBase(java.io.Reader reader)
(package private) AcceptanceCondition
KppADFFormatParser.IdentifierNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.IffNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.ImpNode. parseFormula()
(package private) AcceptanceCondition
KppADFFormatParser.Node. parseFormula()
AcceptanceCondition
KppADFFormatParser.OrNode. parseFormula()
Formula
KppADFFormatParser. parseFormula(java.io.Reader reader)
AcceptanceCondition
KppADFFormatParser.XorNode. parseFormula()
(package private) AcceptanceCondition
KppADFFormatParser.IdentifierNode. parseSpecialFormula()
(package private) AcceptanceCondition
KppADFFormatParser.Node. parseSpecialFormula()
void
KppADFFormatParser.ACNode. parseStatement()
(package private) void
KppADFFormatParser.Node. parseStatement()
void
KppADFFormatParser.SNode. parseStatement()
-
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 private void
KppADFFormatParserTest. parseAllInDirectory(java.lang.String dir)
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.adf.reasoner.test
Methods in net.sf.tweety.arg.adf.reasoner.test that throw ParserException Modifier and Type Method Description static void
ReasonerBenchmark. main(java.lang.String[] args)
-
Uses of ParserException in net.sf.tweety.arg.aspic
Methods in net.sf.tweety.arg.aspic that throw ParserException Modifier and Type Method Description private boolean
AspicTest. testDirectionalEquality(java.lang.String query, java.lang.String full, java.lang.String partial)
-
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.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 private void
FolParser. consumeToken(java.util.Stack<java.lang.Object> stack, int c)
This method reads one token from the given reader and appropriately constructs a fol formula from the stream.private FolFormula
FolParser. parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.FolBeliefSet
FolParser. parseBeliefBase(java.io.Reader reader)
FolBeliefSet
TPTPParser. parseBeliefBase(java.io.Reader reader)
private FolFormula
FolParser. parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple conjunction as a list of String tokens or formulas into a fol formula.FolFormula
FolParser. parseFormula(java.io.Reader reader)
FolFormula
TPTPParser. parseFormula(java.io.Reader reader)
private FolBeliefSet
TPTPParser. parseIncludedFiles(java.lang.String s)
Parses formulas of an included TPTP problem file.private FolFormula
FolParser. parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.private FolFormula
FolParser. parseQuantification(java.util.List<java.lang.Object> l)
Parses a quantified formula as a list of String tokens or formulas.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.private java.util.List<Term<?>>
FolParser. parseTermlist(java.util.List<java.lang.Object> l)
Parses a term list as a list of String tokens or terms into a list of terms.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()
-
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()
-
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 private void
MlParser. consumeToken(java.util.Stack<java.lang.Object> stack, int c)
This method reads one token from the given reader and appropriately constructs a modal formula from the stream.private RelationalFormula
MlParser. parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.MlBeliefSet
MlParser. parseBeliefBase(java.io.Reader reader)
private RelationalFormula
MlParser. parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple conjunction as a list of String tokens or formulas into a fol formula.RelationalFormula
MlParser. parseFormula(java.io.Reader reader)
private RelationalFormula
MlParser. parseModalization(java.util.List<java.lang.Object> l)
Parses a formula containing at least one modal operator as a list of String tokens or formulas.private RelationalFormula
MlParser. parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.private RelationalFormula
MlParser. parseQuantification(java.util.List<java.lang.Object> l)
Parses a quantified formula as a list of String tokens or formulas. -
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)
static void
MinimumAggregatedDistanceMachineShop. 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
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)
-
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 private void
PlParser. consumeToken(java.util.Stack<java.lang.Object> stack, int c)
This method reads one token from the given reader and appropriately constructs a propositional formula from the stream.private PlFormula
PlParser. parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.PlBeliefSet
DimacsParser. parseBeliefBase(java.io.Reader reader)
PlBeliefSet
PlParser. parseBeliefBase(java.io.Reader reader)
private PlFormula
PlParser. parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.protected PlFormula
PlParser. parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.Disjunction
DimacsParser. parseFormula(java.io.Reader reader)
PlFormula
PlParser. parseFormula(java.io.Reader reader)
private PlFormula
PlParser. parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula. -
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. 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 private void
QbfParser. consumeToken(java.util.Stack<java.lang.Object> stack, int c)
This method reads one token from the given reader and appropriately constructs a propositional formula from the stream.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)
-