Package | Description |
---|---|
net.sf.tweety.lp.asp.parser | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Method and Description |
---|---|
Arithmetic |
InstantiateVisitor.visit(ASTArithmetic node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
Arithmetic |
Arithmetic.clone() |
Arithmetic |
Arithmetic.substitute(Term<?> t,
Term<?> v) |
Constructor and Description |
---|
Arithmetic(Arithmetic other)
Copy-Ctor
|