|
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||
| Class Summary | |
| AndFilter | |
| ClosedFilter | |
| Filter | A position in a FilterSpace is a region in the baseSpace, and a filter is a set of regions in the baseSpace. |
| FilterDsp | There are no non-trivial Dsps currently defined on a FilterSpace. It would be possible to define them with reference to a Dsp in the baseSpace, as filterDsp->of(filter)->match(R) iff filter->match(filterDsp->baseDsp()->inverseOf(R)) for all R in the base space. However, we have not yet found a use for them. |
| FilterPosition | Encapsulates a Region in the baseSpace into a Position so that it can be treated as one for polymorphism. |
| FilterSpace | A FilterSpace can be described mathematically as a power space of its baseSpace, i.e. |
| Joint | Joints are used to prune searches through trees of Regions. |
| NotSubsetFilter | |
| NotSupersetFilter | |
| OpenFilter | |
| OrFilter | |
| RealDsp | |
| RegionDelta | A RegionDelta represents a change in the state of a Region, holding the state before and after some change. |
| SubsetFilter | |
| SupersetFilter | |
|
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||