Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.SNode
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.UnaryNode
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.SNode
-
- Enclosing class:
- KPPADFFormatParser
private class KPPADFFormatParser.SNode extends KPPADFFormatParser.UnaryNode
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<java.lang.String,Argument>
statements
-
Method Summary
Modifier and Type Method Description void
parseStatement()
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.UnaryNode
addNode, getChild, toString
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
getName, parseArgument, parseFormula, parseSpecialFormula
-
-
-
-
Field Detail
-
statements
private java.util.Map<java.lang.String,Argument> statements
-
-
Constructor Detail
-
SNode
public SNode(java.util.Map<java.lang.String,Argument> statements)
-
-
Method Detail
-
parseStatement
public void parseStatement() throws ParserException
- Overrides:
parseStatement
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
-