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()
Function
public int getRetType()
Function
getRetType
in interface Function
TYPE_
X constants
defined in the Term
class.public int getNumArgs()
Function
getNumArgs
in interface Function
public int getArgType(int argIndex)
Function
getArgType
in interface Function
argIndex
- The argument index.TYPE_
X constants defined in the Term
class.Copyright © 2002–2014 Brockmann Consult GmbH. All rights reserved.