Type Members

1.  sealed trait CDBaseAttribute extends OMAny

   trait for OpenMath Objects with a cdbase attribute

2.  class CodingServer extends ServerExtension
3.  sealed trait CommonAttributes extends OMAny

   trait for OpenMath Objects with common attributes

4.  sealed trait CompoundAttributes extends OMAny with CommonAttributes with CDBaseAttribute

   trait for OpenMath Objects with compund attributes

5.  sealed abstract class OMAny extends AnyRef

   Class for all OpenMath related objects

6.  sealed abstract class OMAnyVal extends OMAny

   Shared Class for OpenMath Expressions + OpenMath Derived Objects

7.  case class OMApplication(elem: OMExpression, arguments: List[OMExpression], id: Option[String], cdbase: Option[URI]) extends OMCompoundElement with CompoundAttributes with Product with Serializable

   An OpenMath Application Object

   An OpenMath Application Object

   elem

   OpenMath element to apply

   arguments

   Arguments to apply elem to

   id

   Identifier

   cdbase

   CD Base URI

8.  case class OMAttVar(pairs: OMAttributionPairs, A: OMVar, id: Option[String]) extends OMVar with CommonAttributes with Product with Serializable

   Represents an attributed variable

   Represents an attributed variable

   pairs

   Pairs of attributed variables

   A

   further list of variable that is bound

   id

   Identifier

9.  case class OMAttribution(pairs: OMAttributionPairs, A: OMExpression, id: Option[String], cdbase: Option[URI]) extends OMCompoundElement with CompoundAttributes with Product with Serializable

   An OpenMath Attribution

   An OpenMath Attribution

   pairs

   List of pairs that are attributed

   A

   object to attribute to

   id

   Idenfitier

   cdbase

   CD Base URI

10.  case class OMAttributionPairs(pairs: List[(OMSymbol, OMAnyVal)], id: Option[String], cdbase: Option[URI]) extends OMAny with CompoundAttributes with Product with Serializable

    List of Attribution pairs

    List of Attribution pairs

    pairs

    Pairs to that are actually attributed

    id

    Identifier

    cdbase

    CD Base URI

11.  sealed abstract class OMBasicElement extends OMExpression

    Basic OpenMath objects (section 2.1.1)

12.  case class OMBindVariables(vars: List[OMVar], id: Option[String]) extends OMAny with CommonAttributes with Product with Serializable

    List of OpenMath bound variables

    List of OpenMath bound variables

    vars

    List of bound variables

    id

    Identifier

13.  case class OMBinding(B: OMExpression, vars: OMBindVariables, C: OMExpression, id: Option[String], cdbase: Option[URI]) extends OMCompoundElement with CompoundAttributes with Product with Serializable

    An OpenMath Binding

    An OpenMath Binding

    B

    Binding object

    vars

    variables to bind

    C

    Bound Term

    id

    Identifier

    cdbase

    CD Base URI

14.  case class OMBytes(bytes: List[Byte], id: Option[String]) extends OMBasicElement with CommonAttributes with Product with Serializable

    An OpenMath list of bytes

    An OpenMath list of bytes

    bytes

    List of bytes

    id

    Identifier

15.  abstract class OMCoding[T] extends AnyRef

    Represents an OpenMath Coding

    Represents an OpenMath Coding

    T

    Type this OpenMath Coding codes from / to

16.  sealed abstract class OMCompoundElement extends OMExpression

    Compound OpenMath objects (section 2.1.3)

17.  sealed abstract class OMDerivedElement extends OMAnyVal

    Derived OpenMath objects (section 2.1.2)

18.  case class OMError(name: OMSymbol, params: List[OMAnyVal], id: Option[String], cdbase: Option[URI]) extends OMCompoundElement with CompoundAttributes with Product with Serializable

    An OpenMath Error

    An OpenMath Error

    name

    Error name

    params

    Parameters to the error

    id

    Identifier

    cdbase

    CD Base URI

19.  sealed abstract class OMExpression extends OMAnyVal

    Base class for all OpenMath Expressions (i.e.

    Base class for all OpenMath Expressions (i.e. proper objects according to the specification)

20.  case class OMFloat(dbl: Double, id: Option[String]) extends OMBasicElement with CommonAttributes with Product with Serializable

    An OpenMath Floating Point Number

    An OpenMath Floating Point Number

    dbl

    Double value

    id

    Identifier

21.  case class OMForeign(obj: Any, encoding: Option[String], id: Option[String], cdbase: Option[URI]) extends OMDerivedElement with CompoundAttributes with Product with Serializable

    An OpenMath Foreign Object

    An OpenMath Foreign Object

    obj

    Foreign Object

    encoding

    Encoding

    id

    Identifier

    cdbase

    CD Base URI

22.  case class OMInteger(int: BigInt, id: Option[String]) extends OMBasicElement with CommonAttributes with Product with Serializable

    An OpenMath integer

    An OpenMath integer

    int

    Integer value

    id

    Identifier

23.  case class OMObject(omel: OMExpression, version: Option[String], id: Option[String], cdbase: Option[URI]) extends OMAnyVal with CompoundAttributes with Product with Serializable

    Represents a single OpenMath object

    Represents a single OpenMath object

    omel

    OpenMath element wrapped by this object

    version

    OpenMath object version

    id

    XML-Identifier

    cdbase

    CD Base URI

24.  case class OMReference(href: URI, id: Option[String]) extends OMExpression with CommonAttributes with Product with Serializable

    An OpenMath reference

    An OpenMath reference

    href

    Element that is refered

    id

    Idenfitier

25.  case class OMString(text: String, id: Option[String]) extends OMBasicElement with CommonAttributes with Product with Serializable

    An OpenMath String

    An OpenMath String

    text

    String

    id

    Identifier

26.  case class OMSymbol(name: String, cd: String, id: Option[String], cdbase: Option[URI]) extends OMBasicElement with CommonAttributes with CDBaseAttribute with Product with Serializable

    An OpenMath Symbol

    An OpenMath Symbol

    name

    Name

    cd

    Content Directory

    id

    Identifier

    cdbase

    CD Base URI

27.  sealed abstract class OMVar extends OMAny

    Represents a Variable or Attributed Variable

28.  case class OMVarVar(omv: OMVariable) extends OMVar with Product with Serializable

    Represents a single bound variable

    Represents a single bound variable

    omv

    Variable to be bound

29.  case class OMVariable(name: String, id: Option[String]) extends OMBasicElement with CommonAttributes with Product with Serializable

    An OpenMath Variable

    An OpenMath Variable

    name

    Name

    id

    Identifier