org.dllearner.prolog
Class FunctionDefinition

java.lang.Object
  org.dllearner.prolog.FunctionDefinition

public class FunctionDefinition
extends Object

Author:

Sebastian Bader

Field Summary

static int	TYPE_INFIX
static String[]	TYPE_NAMES
static int	TYPE_POSTFIX
static int	TYPE_PREFIX
static int	TYPE_USUAL

Constructor Summary

FunctionDefinition(Function function)

FunctionDefinition(String name, int arity, int type)

Method Summary

boolean	equals(Object obj)
int	getArity()
String	getName()
int	getType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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