Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.IffNode
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IffNode
-
- Enclosing class:
- KPPADFFormatParser
private class KPPADFFormatParser.IffNode extends KPPADFFormatParser.BinaryNode
-
-
Constructor Summary
Constructors Constructor Description IffNode()
-
Method Summary
Modifier and Type Method Description AcceptanceCondition
parseFormula()
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode
addNode, getFirst, getSecond, toString
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
getName, parseArgument, parseSpecialFormula, parseStatement
-
-
-
-
Method Detail
-
parseFormula
public AcceptanceCondition parseFormula() throws ParserException
- Overrides:
parseFormula
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
-