public abstract class AbstractFunction extends Object implements Function
Function interface.| Modifier and Type | Class and Description |
|---|---|
static class |
AbstractFunction.B |
static class |
AbstractFunction.D |
static class |
AbstractFunction.I |
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractFunction(String name,
int retType,
int numArgs) |
protected |
AbstractFunction(String name,
int retType,
int numArgs,
int[] argTypes) |
| Modifier and Type | Method and Description |
|---|---|
int |
getArgType(int argIndex)
Gets the type of a function's i-th argument.
|
String |
getName()
Gets the function's name.
|
int |
getNumArgs()
Gets the function's number of arguments.
|
int |
getRetType()
Gets the function's return type.
|
protected AbstractFunction(String name, int retType, int numArgs)
protected AbstractFunction(String name, int retType, int numArgs, int[] argTypes)
public String getName()
Functionpublic int getRetType()
FunctiongetRetType in interface FunctionTYPE_X constants
defined in the Term class.public int getNumArgs()
FunctiongetNumArgs in interface Functionpublic int getArgType(int argIndex)
FunctiongetArgType in interface FunctionargIndex - The argument index.TYPE_X constants defined in the Term class.Copyright © 2002–2014 Brockmann Consult GmbH. All rights reserved.