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)
void	SimpleRevisionCompareModel.setBeliefbase(String beliefBase)	Adds a belief base to the end of the ordered list of belief bases.
void	SimpleRevisionCompareModel.setNewBeliefs(Reader newBeliefs)
void	SimpleRevisionCompareModel.setNewBeliefs(String newBeliefs)

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)

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)
static void	ASPParserExample.main(String[] args)
static void	GrounderExample.main(String[] args)
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()
final ASTAggrElement	ASPParser.AggregateElement()
final ASTAggrElementList	ASPParser.AggregateElements()
final String	ASPParser.AggregateFunction()
void	ASPParserTest.AggregateTest()	aggregation test
final ASTAnswerSet	ASPParser.AnswerSet()
final ASTAriTerm	ASPParser.AriTerm()
final String	ASPParser.Arithop()
final String	ASPParser.Binop()
final ASTBodyList	ASPParser.Body()
final ASTBody	ASPParser.Body1()
final ASTBuiltInAtom	ASPParser.BuiltinAtom()
final ASTChoice	ASPParser.Choice()
final ASTChoiceElement	ASPParser.ChoiceElement()
final ASTChoiceElementList	ASPParser.ChoiceElements()
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()
final void	ASPParser.DlvArithmeticPredicate()
final void	ASPParser.DlvIdentifier()
void	ASPParserTest.DLVTest()	dlv test
static ASPOperator.AggregateFunction	InstantiateVisitor.evaluateAggrFunc(String func)
static ASPOperator.ArithmeticOperator	InstantiateVisitor.evaluateArithop(String sop)
static ASPOperator.BinaryOperator	InstantiateVisitor.evaluateBinop(String op)
final ASTHead	ASPParser.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)
static AnswerSet	ASPParser.parseAnswerSet(String answerSet)
Program	AspifParser.parseProgram(String output)	Parses output in the aspif format and returns the resulting program.
static Program	ASPParser.parseProgram(Reader reader)
static Program	ASPParser.parseProgram(String program)
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)
static ASPRule	ASPParser.parseRule(String rule)
final ASTProgram	ASPParser.Program()
void	ASPParserTest.ProgramTest()	test 1
final ASTQuery	ASPParser.Query()
void	ASPParserTest.SimpleASPRulesTest()	asp rules test
void	AspifParserTest.SimpleProgramTest()
void	ASPParserTest.SimpleTermTest()	term test
final ASTRule	ASPParser.Statement()
final ASTRuleList	ASPParser.Statements()
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