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()

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

Modifier and Type	Method	Description
final ASTAggregate	ASPParser.Aggregate()	Return Aggregate
final ASTAggrElement	ASPParser.AggregateElement()	Return AggrElement
final ASTAggrElementList	ASPParser.AggregateElements()	Return AggrElementList
final String	ASPParser.AggregateFunction()	Return AggrFunc
void	ASPParserTest.AggregateTest()	aggregation test
final ASTAnswerSet	ASPParser.AnswerSet()	Constructor
final ASTAriTerm	ASPParser.AriTerm()
final String	ASPParser.Arithop()
final String	ASPParser.Binop()
final ASTBodyList	ASPParser.Body()	Return BodyList
final ASTBody	ASPParser.Body1()	Return Body
final ASTBuiltInAtom	ASPParser.BuiltinAtom()
final ASTChoice	ASPParser.Choice()	Return Choice
final ASTChoiceElement	ASPParser.ChoiceElement()	Return ChoiceElement
final ASTChoiceElementList	ASPParser.ChoiceElements()	Return ChoiceElementList
void	ASPParserTest.ChoiceTest()	choice test
final ASTLiteral	ASPParser.ClassicalLiteral()
final void	ASPParser.ClingoIdentifier()
void	ASPParserTest.ClingoTest()	cling test
void	ASPParserTest.ComparativeTest()	comparative test
void	ASPParserTest.ComplexTermTest()	term test
final ASTHeadElementsList	ASPParser.Disjunction()	Return HeadElementsList
final void	ASPParser.DlvArithmeticPredicate()
final void	ASPParser.DlvIdentifier()
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()	Return Head
final void	ASPParser.Identifier()
void	ASPParserTest.LiteralTest()	literal test
final void	ASPParser.MetaStatement()
final ASTNAFLiteral	ASPParser.NAFLiteral()
final ASTNAFLiteralList	ASPParser.NAFLiterals()
final void	ASPParser.Number()
void	ASPParserTest.OptimizationStatementTest()	optimization statement test
final ASTOpt	ASPParser.Optimize()
final ASTOptElement	ASPParser.OptimizeElement()
final ASTOptElementList	ASPParser.OptimizeElements()
final String	ASPParser.OptimizeFunction()
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()	Return Query
void	ASPParserTest.SimpleASPRulesTest()	asp rules test
void	AspifParserTest.SimpleProgramTest()
void	ASPParserTest.SimpleTermTest()	term test
final ASTRule	ASPParser.Statement()	Return Rule
final ASTRuleList	ASPParser.Statements()	Return RuleList
final void	ASPParser.String()
final ASTTerm	ASPParser.Term()
final ASTTermList	ASPParser.Terms()
final void	ASPParser.Variable()
final ASTWeight	ASPParser.WeightAtLevel()
void	ASPParserTest.WeightAtLevelTest()	weight at level test