org.dllearner.prolog

Class FunctionDefinition

java.lang.Object

org.dllearner.prolog.FunctionDefinition

public class FunctionDefinition
extends Object

Author:

Sebastian Bader

Field Summary

Fields

Modifier and Type	Field and Description
static int	TYPE_INFIX
static String[]	TYPE_NAMES
static int	TYPE_POSTFIX
static int	TYPE_PREFIX
static int	TYPE_USUAL

Constructor Summary

Constructors

Constructor and Description
FunctionDefinition(Function function)
FunctionDefinition(String name, int arity, int type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	getArity()
String	getName()
int	getType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE_USUAL

public static int TYPE_USUAL

TYPE_INFIX

public static int TYPE_INFIX

TYPE_POSTFIX

public static int TYPE_POSTFIX

TYPE_PREFIX

public static int TYPE_PREFIX

TYPE_NAMES

public static String[] TYPE_NAMES

Constructor Detail

FunctionDefinition

public FunctionDefinition(String name,
                          int arity,
                          int type)

FunctionDefinition

public FunctionDefinition(Function function)

Method Detail

getArity

public int getArity()

getName

public String getName()

getType

public int getType()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object