Uses of Class
org.tweetyproject.lp.asp.parser.ParseException

Packages that use ParseException

Package	Description
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.beliefdynamics.gui
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.examples
org.tweetyproject.lp.asp.parser

Uses of ParseException in org.tweetyproject.lp.asp.beliefdynamics.baserevision

Methods in org.tweetyproject.lp.asp.beliefdynamics.baserevision that throw ParseException

Modifier and Type	Method	Description
static void	ScreenedRemainderSets.main(String[] args)	Simple test case taken from [1]

Uses of ParseException in org.tweetyproject.lp.asp.beliefdynamics.gui

Methods in org.tweetyproject.lp.asp.beliefdynamics.gui that throw ParseException

Modifier and Type	Method	Description
void	SimpleRevisionCompareModel.setBeliefbase(Reader beliefBase)	Sets the belief base from a reader.
void	SimpleRevisionCompareModel.setBeliefbase(String beliefBase)	Sets the belief base from a string representation.
void	SimpleRevisionCompareModel.setNewBeliefs(Reader newBeliefs)	Sets the new beliefs from a reader.
void	SimpleRevisionCompareModel.setNewBeliefs(String newBeliefs)	Sets the new beliefs from a string representation.

Uses of ParseException in org.tweetyproject.lp.asp.beliefdynamics.revision

Methods in org.tweetyproject.lp.asp.beliefdynamics.revision that throw ParseException

Modifier and Type	Method	Description
static void	PreferenceHandling.main(String[] args)	Temporary functional test method.

Uses of ParseException in org.tweetyproject.lp.asp.examples

Methods in org.tweetyproject.lp.asp.examples that throw ParseException

Modifier and Type	Method	Description
static void	AggregateExample.main(String[] args)	Example method
static void	ASPParserExample.main(String[] args)
static void	GrounderExample.main(String[] args)	Example
static void	OptimizeExample.main(String[] args)

Uses of ParseException in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ParseException

Modifier and Type	Method	Description
ParseException	ASPParser.generateParseException()	Generates a parse exception

Methods in org.tweetyproject.lp.asp.parser that throw ParseException

Modifier and Type	Method	Description
final ASTAggregate	ASPParser.Aggregate()	Parses an aggregate element
final ASTAggrElement	ASPParser.AggregateElement()	Parses a single aggregate element
final ASTAggrElementList	ASPParser.AggregateElements()	Parses a list of aggregate elements
final String	ASPParser.AggregateFunction()	Parses an aggregate function name
void	ASPParserTest.AggregateTest()	aggregation test
final ASTAnswerSet	ASPParser.AnswerSet()	Constructor
final ASTAriTerm	ASPParser.AriTerm()	Parses an arithmetic term expression
final String	ASPParser.Arithop()	Parses an arithmetic operator
final String	ASPParser.Binop()	Parses a binary operator
final ASTBodyList	ASPParser.Body()	Parses the body of a rule as a list of atoms
final ASTBody	ASPParser.Body1()	Parses a single body atom
final ASTBuiltInAtom	ASPParser.BuiltinAtom()	Parses a built-in atom
final ASTChoice	ASPParser.Choice()	Parses a choice element
final ASTChoiceElement	ASPParser.ChoiceElement()	Parses a single choice element
final ASTChoiceElementList	ASPParser.ChoiceElements()	Parses a list of choice elements
void	ASPParserTest.ChoiceTest()	choice test
final ASTLiteral	ASPParser.ClassicalLiteral()	Parses a classical literal
final void	ASPParser.ClingoIdentifier()	Parses a Clingo-specific identifier
void	ASPParserTest.ClingoTest()	cling test
void	ASPParserTest.ComparativeTest()	comparative test
void	ASPParserTest.ComplexTermTest()	term test
final ASTHeadElementsList	ASPParser.Disjunction()	Parses a disjunction of head elements
final void	ASPParser.DlvArithmeticPredicate()	Parses a DLV arithmetic predicate
final void	ASPParser.DlvIdentifier()	Parses a DLV-specific identifier
void	ASPParserTest.DLVTest()	dlv test
static ASPOperator.AggregateFunction	InstantiateVisitor.evaluateAggrFunc(String func)	Evaluates the given aggregate function string and returns the corresponding ASPOperator.AggregateFunction.
static ASPOperator.ArithmeticOperator	InstantiateVisitor.evaluateArithop(String sop)	Evaluates the given arithmetic operator string and returns the corresponding
static ASPOperator.BinaryOperator	InstantiateVisitor.evaluateBinop(String op)	evaluateBinop
final ASTHead	ASPParser.Head()	Parses the head of a rule
final void	ASPParser.Identifier()	Parses an identifier
void	ASPParserTest.LiteralTest()	literal test
final void	ASPParser.MetaStatement()	Parses a clingo meta statement.
final ASTNAFLiteral	ASPParser.NAFLiteral()	Parses a NAF literal (negation as failure)
final ASTNAFLiteralList	ASPParser.NAFLiterals()	Parses a list of NAF literals
final void	ASPParser.Number()	Parses a numeric value
void	ASPParserTest.OptimizationStatementTest()	optimization statement test
final ASTOpt	ASPParser.Optimize()	Parses a clingo meta statement
final ASTOptElement	ASPParser.OptimizeElement()	Parses a single optimization element
final ASTOptElementList	ASPParser.OptimizeElements()	Parses a list of optimization elements
final String	ASPParser.OptimizeFunction()	Parses an optimization function
static AnswerSet	ASPParser.parseAnswerSet(Reader reader)	Parse parseAnswerSet
static AnswerSet	ASPParser.parseAnswerSet(String answerSet)	Parse AnswerSet
Program	AspifParser.parseProgram(String output)	Parses output in the aspif format and returns the resulting program.
static Program	ASPParser.parseProgram(Reader reader)	parse the program
static Program	ASPParser.parseProgram(String program)	Parse the programm
Program	AspifParser.parseProgramFile(String filename)	Parses the file of the given filename in the aspif format and returns the resulting program.
static ASPRule	ASPParser.parseRule(Reader reader)	Parse the rule
static ASPRule	ASPParser.parseRule(String rule)	Parse the rule
final ASTProgram	ASPParser.Program()	Constructor
void	ASPParserTest.ProgramTest()	test 1
final ASTQuery	ASPParser.Query()	Parses a query
void	ASPParserTest.SimpleASPRulesTest()	asp rules test
void	AspifParserTest.SimpleProgramTest()
void	ASPParserTest.SimpleTermTest()	term test
final ASTRule	ASPParser.Statement()	Parses a single statement
final ASTRuleList	ASPParser.Statements()	Parses a list of statements
final void	ASPParser.String()	Parses a string literal
final ASTTerm	ASPParser.Term()	Parses a single term
final ASTTermList	ASPParser.Terms()	Parses a list of terms
final void	ASPParser.Variable()	Parses a variable
final ASTWeight	ASPParser.WeightAtLevel()	Parses a weight at level expression
void	ASPParserTest.WeightAtLevelTest()	weight at level test