org.qedeq.kernel.bo.logic.model
Class Operator

java.lang.Object
  org.qedeq.kernel.bo.logic.model.Operator

Direct Known Subclasses:

FunctionVariable, ModelFunctionConstant, ModelPredicateConstant, PredicateVariable

public abstract class Operator
extends java.lang.Object

Operators with arguments.

Author:

Michael Meyling

Constructor Summary

Operator(java.lang.String name, int number)
Constructor.

Method Summary

boolean	equals(java.lang.Object other)
int	getArgumentNumber() Get number of arguments this operator has.
java.lang.String	getName() Get operator name.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Operator

public Operator(java.lang.String name,
                int number)

Constructor.

Parameters:

name - Text to identify the operator.

number - Argument number for operator.

Method Detail

getName

public java.lang.String getName()

Get operator name.

Returns:

Operator name.

getArgumentNumber

public int getArgumentNumber()

Get number of arguments this operator has.

Returns:

Number of arguments for this operator.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object