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

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

public final class FunctionConstant
extends java.lang.Object

Function constant.

Author:

Michael Meyling

Constructor Summary

FunctionConstant(FunctionKey key, ElementList completeFormula, ModuleContext context)
Constructor.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getArguments() Get function argument number.
Element	getCompleteFormula() Get complete defining formula.
ModuleContext	getContext() Get context where the complete formula is.
Element	getDefiningTerm() Get defining term.
ElementList	getFunction() Get function with parameters.
FunctionKey	getKey() Get function key.
java.lang.String	getName() Get function name.
java.util.List	getSubjectVariables() Get list of parameter subject variables.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionConstant

public FunctionConstant(FunctionKey key,
                        ElementList completeFormula,
                        ModuleContext context)

Constructor.

Parameters:

key - Function name.

completeFormula - Complete formula defining function. Includes function. Must be like: f(x, y) = {z | z \in x & z \in y}

context - Module context we are in.

Method Detail

getKey

public FunctionKey getKey()

Get function key.

Returns:

Function key.

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.

getCompleteFormula

public Element getCompleteFormula()

Get complete defining formula. Includes function itself.

Returns:

Complete defining formula.

getContext

public ModuleContext getContext()

Get context where the complete formula is.

Returns:

Module context for complete formula.

getFunction

public ElementList getFunction()

Get function with parameters.

Returns:

Function term with subject variables.

getSubjectVariables

public java.util.List getSubjectVariables()

Get list of parameter subject variables.

Returns:

Parameter subject variables as a list.

getDefiningTerm

public Element getDefiningTerm()

Get defining term. Function itself is not included.

Returns:

Defining term only.

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