public final class OpenMath
extends java.lang.Object
Constructor and Description |
---|
OpenMath() |
Modifier and Type | Method and Description |
---|---|
static Expression |
toExpression(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath expression to AST.
|
static Identifier |
toIdentifier(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath expression to identifier..
|
static nl.tue.win.riaca.openmath.lang.OMObject |
toOpenMath(AST ast)
Convert AST to OpenMath object.
|
static Type |
toType(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath type to AST.
|
public static nl.tue.win.riaca.openmath.lang.OMObject toOpenMath(AST ast)
ast
- the object in AST representation.public static Expression toExpression(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the expression in OpenMath representatin.public static Type toType(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the type in OpenMath representatin.public static Identifier toIdentifier(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the identifier in AST representation.