org.qedeq.kernel.bo.logic.common
Class FunctionKey

java.lang.Object
  org.qedeq.kernel.bo.logic.common.FunctionKey

public final class FunctionKey
extends java.lang.Object

Function constant key, describing a function constant.

Author:

Michael Meyling

Constructor Summary

FunctionKey(java.lang.String name, java.lang.String arguments)
Constructor.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionKey

public FunctionKey(java.lang.String name,
                   java.lang.String arguments)

Constructor.

Parameters:

name - Function name.

arguments - Function argument number.

Method Detail

getName

public java.lang.String getName()

Get function name.

Returns:

Function name.

getArguments

public java.lang.String getArguments()

Get function argument number.

Returns:

Number of arguments.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object