ASTNumber (Tweety (ASP Library) 1.17 API)

java.lang.Object
- net.sf.tweety.lp.asp.parser.SimpleNode
- - net.sf.tweety.lp.asp.parser.ASTNumber

All Implemented Interfaces:: Node

public class ASTNumber
extends SimpleNode

- Field Summary
  - Fields inherited from class net.sf.tweety.lp.asp.parser.SimpleNode
    children, id, parent, parser, value
- Constructor Summary
  
  Constructors
  Constructor Description
  
  ASTNumber(int id)
  
  ASTNumber(ASPCore2Parser p, int id)
- Method Summary
  
  Modifier and Type Method Description
  
  Object jjtAccept(ASPCore2ParserVisitor visitor, Object data)
  Accept the visitor.
  
  void number(String number)
  - Methods inherited from class net.sf.tweety.lp.asp.parser.SimpleNode
    childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ASTNumber
```
public ASTNumber(int id)
```

ASTNumber

public ASTNumber(ASPCore2Parser p,
                 int id)

Method Detail

number
```
public void number(String number)
```

jjtAccept

public Object jjtAccept(ASPCore2ParserVisitor visitor,
                        Object data)

Accept the visitor.

Specified by:: jjtAccept in interface Node
Overrides:: jjtAccept in class SimpleNode