Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.BinaryNode
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode
-
- Direct Known Subclasses:
KPPADFFormatParser.ACNode
,KPPADFFormatParser.AndNode
,KPPADFFormatParser.IffNode
,KPPADFFormatParser.ImpNode
,KPPADFFormatParser.OrNode
,KPPADFFormatParser.XorNode
- Enclosing class:
- KPPADFFormatParser
private abstract class KPPADFFormatParser.BinaryNode extends KPPADFFormatParser.Node
-
-
Field Summary
Fields Modifier and Type Field Description private KPPADFFormatParser.Node
first
private KPPADFFormatParser.Node
second
-
Constructor Summary
Constructors Constructor Description BinaryNode(java.lang.String name)
-
Method Summary
Modifier and Type Method Description void
addNode(KPPADFFormatParser.Node node)
KPPADFFormatParser.Node
getFirst()
KPPADFFormatParser.Node
getSecond()
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
getName, parseArgument, parseFormula, parseSpecialFormula, parseStatement
-
-
-
-
Field Detail
-
first
private KPPADFFormatParser.Node first
-
second
private KPPADFFormatParser.Node second
-
-
Method Detail
-
addNode
public void addNode(KPPADFFormatParser.Node node)
- Specified by:
addNode
in classKPPADFFormatParser.Node
-
getFirst
public KPPADFFormatParser.Node getFirst()
-
getSecond
public KPPADFFormatParser.Node getSecond()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classKPPADFFormatParser.Node
-
-