| Interface | Description |
|---|---|
| IPatternSignature |
TODO Rename everything related to IPatternType to IPatternSignature
|
| Class | Description |
|---|---|
| ClauseUtils | |
| CnfUtils | |
| DnfUtils | |
| EquiMap<K,V> |
A map where keys can be stated as equivalent.
|
| EquiMapOld<K,V> |
A map that supports stating that keys are equal.
|
| Equivalence | |
| FilterCompiler | |
| FilterUtils | |
| IndexOpVisitor | |
| PatternSignatureIndex | |
| PatternUtils | |
| QuadIndex |
Indexes quads for efficient lookups of compatible mappings.
|
| QuadSignature |
A Quad Pattern signature would be the set of QuadSignatures.
|
| TwoWayBinding |
In its current state this class only hides the copying that should be
avoided by a view
|
| ValueSet<T> |
A class denoting a positive or negative (intensional) set of values.
|
| ViewTable |
Copyright © 2014. All Rights Reserved.