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 its printed name and and an arity.

Field Summary

Fields

Modifier and Type	Field and Description
static OperationSymbol	IDENTITY
static OperationSymbol	INVERSE
static OperationSymbol	JOIN
static OperationSymbol	MEET
static OperationSymbol	PRODUCT

Constructor Summary

Constructors

Constructor and Description
OperationSymbol(java.lang.String name, int arity)
OperationSymbol(java.lang.String name, int arity, boolean assoc)

Method Summary

Modifier and Type	Method and Description
int	arity() This gives the arity of this operation.
int	compareTo(OperationSymbol sym) This puts high arity operations first.
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()
boolean	isAssociative() A binary operation symbol can be marked as associative to allow for a more compact representation and better printing of terms containing it.
java.lang.String	name()
void	setAssociative(boolean assoc)
java.lang.String	toString()
java.lang.String	toString(boolean showArity)

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)

OperationSymbol

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

Method Detail

arity

public int arity()

This gives the arity of this operation.

name

public java.lang.String name()

isAssociative

public boolean isAssociative()

A binary operation symbol can be marked as associative to allow for a more compact representation and better printing of terms containing it.

Returns:

setAssociative

public void setAssociative(boolean assoc)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(boolean showArity)

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)

This puts high arity operations first.

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