Package org.uacalc.terms

This package is for terms and their interpretations.

See: Description

Interface Summary

Interface	Description
Term
Variable	The term graph; that is, term tree with possibly shared nodes.

Class Summary

Class	Description
NonVariableTerm
Taylor	Let f be a k-ary operation symbol.
Terms	A class of static methods related to terms.
VariableImp	The term graph; that is, term tree with possibly shared nodes.

Package org.uacalc.terms Description

This package is for terms and their interpretations.