org.uacalc.alg.op
Interface TermOperation

All Superinterfaces:

Operation

All Known Implementing Classes:

TermOperationImp

public interface TermOperation
extends Operation

This interface specifies a term operation, that is, the interpretation of a term in an algebra.

Method Summary

java.util.List	getOrderedVariables() This gives a list of the variables in order without repeats.
Term	getTerm() This gives the term.

Methods inherited from interface org.uacalc.alg.op.Operation

arity, getSetSize, getTable, getTotalTable, intValueAt, intValueAt, isAssociative, isCommutative, isIdempotent, isTableBased, isTotal, isTotallySymmetric, makeTable, symbol, valueAt, valueAt

Method Detail

getTerm

Term getTerm()

This gives the term.

getOrderedVariables

java.util.List getOrderedVariables()

This gives a list of the variables in order without repeats.