Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.UnaryNode
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.UnaryNode
-
- Direct Known Subclasses:
KPPADFFormatParser.CNode,KPPADFFormatParser.NegNode,KPPADFFormatParser.SNode
- Enclosing class:
- KPPADFFormatParser
private abstract class KPPADFFormatParser.UnaryNode extends KPPADFFormatParser.Node
-
-
Field Summary
Fields Modifier and Type Field Description private KPPADFFormatParser.Nodechild
-
Constructor Summary
Constructors Constructor Description UnaryNode(java.lang.String name)
-
Method Summary
Modifier and Type Method Description voidaddNode(KPPADFFormatParser.Node node)KPPADFFormatParser.NodegetChild()java.lang.StringtoString()-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
getName, parseArgument, parseFormula, parseSpecialFormula, parseStatement
-
-
-
-
Field Detail
-
child
private KPPADFFormatParser.Node child
-
-
Method Detail
-
addNode
public void addNode(KPPADFFormatParser.Node node) throws ParserException
- Specified by:
addNodein classKPPADFFormatParser.Node- Throws:
ParserException
-
getChild
public KPPADFFormatParser.Node getChild()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classKPPADFFormatParser.Node
-
-