Packages

package Coding

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class OMJSONCoding extends OMCoding[JSON]

    Represents OpenMath encoded as JSON

  2. class OMMMTCoding extends OMCoding[Term]

    Decode / Encode MMT Terms as OpenMath objects.

  3. class OMMiTMCoding extends OMMMTCoding

    an encoding of OpenMath objects used by everything MiTM

  4. class OMXMLCoding extends OMCoding[Node]

    Represents OpenMath encoded as XML

Value Members

  1. object GAPEncoding extends OMMMTCoding
  2. object OMXMLCoding

Ungrouped