Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax |
Modifier and Type | Method and Description |
---|---|
NumberTerm |
NumberTerm.clone() |
Constructor and Description |
---|
NumberTerm(NumberTerm other)
Copy-Ctor: Creates a deep copy of the given NumberTerm
|