net.sf.tweety.action.query.parser

Class ActionQueryParser

java.lang.Object

net.sf.tweety.commons.Parser<SActionQuerySet>

net.sf.tweety.action.query.parser.ActionQueryParser

public class ActionQueryParser
extends net.sf.tweety.commons.Parser<SActionQuerySet>

This class implements a parser for action queries in S. The BNF of such queries is given by: (starting symbol is KB)
KB ::== QUERY1 ("\n" QUERY1)*
QUERY1 ::== QUERY ( "requires" REQUIREMENTS )?
QUERY ::== PROPOSITION | QUERY "&&" QUERY | QUERY "||" QUERY | "!" QUERY | "(" QUERY ")" | "+" | "-"
PROPOSITION ::== HOLDSQUERY | ALWAYSQUERY | NECESSARILYQUERY
HOLDSQUERY ::== "holds" "[" STATEFORMULA "]"
ALWAYSQUERY ::== "always" "[" STATEFORMULA "]"
NECESSARILYQUERY ::== "necessarily" "[" STATEFORMULA "]" "after" ACTIONS
ACTIONS ::== ACTION ( ";" ACTION )*
ACTION ::== "{" ACTIONNAME ("," ACTIONNAME)* "}"
REQUIREMENTS ::== REQUIREMENT ("," REQUIREMENT)*
REQUIREMENT ::== (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME)*

where STATEFORMULA is an unquantified first-order formula without functors,
and VARIABLENAME, CONSTANTNAME are sequences of symbols
from {a,...,z,A,...,Z,0,...,9} with a letter at the beginning.

Author:

Sebastian Homann, Tim Janus (change constant LogicalSymbols to dynamic)

Constructor Summary

Constructors

Constructor and Description
ActionQueryParser(ActionSignature signature)

Method Summary

Modifier and Type	Method and Description
SActionQuerySet	parseBeliefBase(Reader reader)
SActionQuery	parseFormula(Reader reader)

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ActionQueryParser

public ActionQueryParser(ActionSignature signature)

Method Detail

parseBeliefBase

public SActionQuerySet parseBeliefBase(Reader reader)

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<SActionQuerySet>

parseFormula

public SActionQuery parseFormula(Reader reader)
                          throws IOException,
                                 net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<SActionQuerySet>

Throws:

IOException

net.sf.tweety.commons.ParserException