| Package | Description |
|---|---|
| net.sf.tweety.logics.commons.syntax |
| Modifier and Type | Method and Description |
|---|---|
FunctionalTerm |
FunctionalTerm.addArgument(Term<?> term)
Appends the given argument to this term's
arguments and returns itself.
|
FunctionalTerm |
FunctionalTerm.clone() |
| Constructor and Description |
|---|
FunctionalTerm(FunctionalTerm other) |
Copyright © 2018. All rights reserved.