Package net.sf.tweety.arg.adf.parser
Class KppADFFormatParser.ACNode
- 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.ACNode
-
- Enclosing class:
- KppADFFormatParser
private class KppADFFormatParser.ACNode extends KppADFFormatParser.BinaryNode
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
accByArgument
-
Constructor Summary
Constructors Constructor Description ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)
-
Method Summary
Modifier and Type Method Description void
parseStatement()
-
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, parseFormula, parseSpecialFormula
-
-
-
-
Field Detail
-
accByArgument
private java.util.Map<Argument,AcceptanceCondition> accByArgument
-
-
Constructor Detail
-
ACNode
public ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)
-
-
Method Detail
-
parseStatement
public void parseStatement() throws ParserException
- Overrides:
parseStatement
in classKppADFFormatParser.Node
- Throws:
ParserException
-
-