org.uacalc.alg.op
Class OperationSymbol

java.lang.Object
  org.uacalc.alg.op.OperationSymbol

All Implemented Interfaces:

java.lang.Comparable<OperationSymbol>

public class OperationSymbol
extends java.lang.Object
implements java.lang.Comparable<OperationSymbol>

An oration symbol. It has both a String for it printed name and and arity.

Field Summary

static OperationSymbol	IDENTITY
static OperationSymbol	INVERSE
static OperationSymbol	JOIN
static OperationSymbol	MEET
static OperationSymbol	PRODUCT

Constructor Summary

OperationSymbol(java.lang.String name, int arity)

Method Summary

int	arity() This gives the arity of this operation.
int	compareTo(OperationSymbol sym)
boolean	equals(java.lang.Object obj)
static OperationSymbol	getOperationSymbol(int arity) Get an OperationSymbol in a uniform manner so that algebras that can be similar will be.
int	hashCode()
java.lang.String	name()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

JOIN

public static final OperationSymbol JOIN

MEET

public static final OperationSymbol MEET

PRODUCT

public static final OperationSymbol PRODUCT

INVERSE

public static final OperationSymbol INVERSE

IDENTITY

public static final OperationSymbol IDENTITY

Constructor Detail

OperationSymbol

public OperationSymbol(java.lang.String name,
                       int arity)

Method Detail

arity

public int arity()

This gives the arity of this operation.

name

public java.lang.String name()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOperationSymbol

public static OperationSymbol getOperationSymbol(int arity)

Get an OperationSymbol in a uniform manner so that algebras that can be similar will be.

Parameters:

HashMap - map a map from Integer's to int[1]'s, the value will be modified.

compareTo

public int compareTo(OperationSymbol sym)

Specified by:

compareTo in interface java.lang.Comparable<OperationSymbol>

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object