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.Nodefirstprivate KppADFFormatParser.Nodesecond
-
Constructor Summary
Constructors Constructor Description BinaryNode(java.lang.String name)
-
Method Summary
Modifier and Type Method Description voidaddNode(KppADFFormatParser.Node node)KppADFFormatParser.NodegetFirst()KppADFFormatParser.NodegetSecond()java.lang.StringtoString()-
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:
addNodein classKppADFFormatParser.Node
-
getFirst
public KppADFFormatParser.Node getFirst()
-
getSecond
public KppADFFormatParser.Node getSecond()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classKppADFFormatParser.Node
-
-