org.qedeq.kernel.bo.logic
Class Predicate

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

public final class Predicate

extends Object

Predicate constant key, describing a predicate constant.

Version:

$Revision: 1.2 $

Constructor Summary

Predicate(String name, String arguments)
Constructor.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Predicate

public Predicate(String name,
                 String arguments)

Constructor.

Parameters:

name - Predicate name.

arguments - Predicate argument number.

Method Detail

getName

public String getName()

Get predicate name.

Returns:

Predicate name.

getArguments

public String getArguments()

Get predicate argument number.

Returns:

Number of arguments.

hashCode

public int hashCode()

equals

public boolean equals(Object obj)

toString

public String toString()