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.