|
Class Summary |
| CDGroup |
A simple class to describe a set of CDs with constructors from XML and others. |
| ContentType |
Denotes a possible translation "flavour" of an OpenMath object. |
| OMMatcher |
Simple class to describe a matcher deduced from an OpenMath expresion
where a match involves XML-tree equality except for variables which can
be replaced by anything. |
| RephraseGraph |
Describes the possible cd-groups (vertices of the graph) and transitions between them
(edges of the graph). |
| RephraseHeuristics |
The centerpoint for all "prior-knowledge" for rephrases. |
| Rephraser |
A rephrase process. |
| RephraseRule |
A class to model an OpenMath rephrase rule built by a pair
of OpenMath expressions with matching variable names. |
| RephraseService |
|