Constructor and Description |
---|
Function(Function source) |
Function(FunctionDefinition functionDefinition,
ArrayList<Term> arguments) |
Function(String name,
ArrayList<Term> arguments) |
Function(String name,
Term term2) |
Function(Term term1,
String name) |
Function(Term term1,
String name,
Term term2) |
Modifier and Type | Method and Description |
---|---|
Object |
clone() |
boolean |
equals(Object obj) |
Term |
getArgument(int index) |
int |
getArity() |
Term |
getInstance(Variable variable,
Term term) |
String |
getName() |
int |
getType() |
int |
hashCode() |
boolean |
isGround() |
void |
setArgument(int index,
Term term) |
String |
toPLString() |
String |
toString() |
public Function(FunctionDefinition functionDefinition, ArrayList<Term> arguments)
public int getArity()
public int getType()
public Term getArgument(int index)
public void setArgument(int index, Term term)
public boolean isGround()
public String toPLString()
toPLString
in class Term
public Term getInstance(Variable variable, Term term)
getInstance
in class Term
variable
- Substitution variable.term
- A term. DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann