| Interface | Description |
|---|---|
| DiscreteSetVisitor<R> |
A DiscreteSet visitor.
|
| EvalSetVisitor<R> |
An EvalSet visitor.
|
| PowerSetVisitor<R> |
A PowerSet visitor.
|
| ProdSetVisitor<R> |
A ProdSet visitor.
|
| RelSetVisitor<R> |
A RelSet visitor.
|
| Class | Description |
|---|---|
| DefaultEvalSet |
TODO: move the caching functionality of this class into several
different iterator-wrappers, one that caches elements, another that
converts an Iterator into a ListIterator, etc.
|
| DefaultEvalSet.SubsetIterator<E> |
Filters the master iterator, returning only those
elements that are members of the slave set.
|
| DiscreteSet |
A simple implementation of {e1,e2,e3,...,eN}.
|
| EvalResult |
A superclass for most of the different kinds of result expressions
generated by ZLive.
|
| EvalSet | |
| EvalSet.SubsetIterator<E> |
Filters the master iterator, returning only those
elements that are members of the slave set.
|
| FuzzySet |
A partially-known set.
|
| GivenValue |
A member of a given set.
|
| PowerSet |
A power set with lazy evaluation of its elements.
|
| PowerSet.AddElementIterator |
An iterator over a list of sets that adds a given expression
to each of the element sets before returning.
|
| ProdSet |
A simple implementation of a cartesian product set.
|
| RangeSet |
A simple implementation of lo..hi.
|
| RelSet |
A relation or function space, from_ <--> to_.
|
| SetComp |
A simple implementation of a set comprehension.
|
| UnionSet |
A simple implementation of the union of two EvalSets.
|
| Exception | Description |
|---|---|
| FuzzySetException |
This exception is throw when precise information is requested
from a 'fuzzy' set (partially unknown) too early.
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.