package Coding
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
class
OMJSONCoding extends OMCoding[JSON]
Represents OpenMath encoded as JSON
-
class
OMMMTCoding extends OMCoding[Term]
Decode / Encode MMT Terms as OpenMath objects.
-
class
OMMiTMCoding extends OMMMTCoding
an encoding of OpenMath objects used by everything MiTM
-
class
OMXMLCoding extends OMCoding[Node]
Represents OpenMath encoded as XML
Value Members
- object GAPEncoding extends OMMMTCoding
- object OMXMLCoding