|
Core
|
| Centre for Vision, Speech & Signal Processing |
| BASIC | LIBRARIES | AMMA SEARCH | AMMA HOME |
AMMA | |
Logic | |
Core |
| Default Classes | Description |
| VLExprSet | Set that handles equivelent expressions correctly. |
| VLRule | Replacement rule. |
| VLExprSetIterC | Expression set iterator. |
| VLExprSetC | |
| VLRuleC | Replacement rule. |
| VLTheory | A Theory is a set of rules. |
| VLTheoryC | A Theory is a set of rules. |
| VLSubstSet | Set of substitutions, will do expression matching. |
| VLSubstSetC | Set of substitutions, will do expression matching. |
| VLSpaceSetC | Set of spaces. |
| VLSpaceSetIterC | Iterator for set of spaces. |
| VLBndTypeSearchC | Search though TypeInd for Expression types that involve one or more values from bnds. |
| Author: Anonymous, Generated by DocEntry: March 20, 2001 |