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

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

public final class PredicateKey
extends java.lang.Object

Predicate constant key, describing a predicate constant.

Author:

Michael Meyling

Constructor Summary

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PredicateKey

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

Constructor.

Parameters:

name - Predicate name.

arguments - Predicate argument number.

Method Detail

getName

public java.lang.String getName()

Get predicate name.

Returns:

Predicate name.

getArguments

public java.lang.String getArguments()

Get predicate 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