Package ua.gradsoft.termware.set

classes, related to set terms.

See:
Description

Class Summary

AbstractSetTerm	set term, - subterms are elements of set, ordered in our natural order
SetOfTerms	Sorted set of terms.
SetPatternTerm	Set pattern: term for expression { $x: $Y }.
SetTerm	set term, - subterms are elements of set, ordered in our natural order

Package ua.gradsoft.termware.set Description

classes, related to set terms.