Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax | |
net.sf.tweety.logics.fol.syntax | |
net.sf.tweety.lp.asp.parser |
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) |
Modifier and Type | Method and Description |
---|---|
abstract java.util.Set<FunctionalTerm> |
LogicStructure.getFunctionalTerms()
Returns all functional terms that appear in this structure.
|
Modifier and Type | Method and Description |
---|---|
FunctionalTerm |
InstantiateVisitor.visit(ASTFunctionalTerm node,
java.lang.Object data) |