org.qedeq.kernel.bo.logic
Class Function

java.lang.Object
  org.qedeq.kernel.bo.logic.Function

public final class Function

extends Object

Function constant key, describing a function constant.

Version:

$Revision: 1.1 $

Constructor Summary

Function(String name, String arguments)
Constructor.

Method Summary

boolean	equals(Object obj)
String	getArguments() Get function argument number.
String	getName() Get function name.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Function

public Function(String name,
                String arguments)

Constructor.

Parameters:

name - Function name.

arguments - Function argument number.

Method Detail

getName

public String getName()

Get function name.

Returns:

Function name.

getArguments

public String getArguments()

Get function argument number.

Returns:

Number of arguments.

hashCode

public int hashCode()

equals

public boolean equals(Object obj)

toString

public String toString()