m:semantics

Element information

Content

• Sequence [1..1]
  from group m:ContExp
  Choice [1..1]
  • m:apply    
  • m:bind    
  • m:ci    
  • m:cn    
  • m:csymbol    
  • m:cbytes    
  • m:cerror    
  • m:cs    
  • m:share    
  • m:piecewise    
  from subst. group m:DeprecatedContExp
  m:reln    
  m:fn    
  m:declare    
  from subst. group m:interval.class
  m:interval [1..1]    
  from subst. group m:unary-functional.class
  m:inverse    
  m:ident    
  m:domain    
  m:codomain    
  m:image    
  m:ln    
  m:log    
  m:moment    
  from subst. group m:lambda.class
  m:lambda [1..1]    
  from subst. group m:nary-functional.class
  m:compose [1..1]    
  from group m:binary-arith.class
  m:quotient    
  m:divide    
  m:minus    
  m:power    
  m:rem    
  m:root    
  from group m:unary-arith.class
  m:factorial    
  m:abs    
  m:conjugate    
  m:arg    
  m:real    
  m:imaginary    
  m:floor    
  m:ceiling    
  m:exp    
  from subst. group m:nary-minmax.class
  m:max    
  m:min    
  from subst. group m:nary-arith.class
  m:plus    
  m:times    
  m:gcd    
  m:lcm    
  from subst. group m:nary-logical.class
  m:and    
  m:or    
  m:xor    
  from subst. group m:unary-logical.class
  m:not [1..1]    
  from subst. group m:binary-logical.class
  m:implies    
  m:equivalent    
  from subst. group m:quantifier.class
  m:forall    
  m:exists    
  from subst. group m:nary-reln.class
  m:eq    
  m:gt    
  m:lt    
  m:geq    
  m:leq    
  from subst. group m:binary-reln.class
  m:neq    
  m:approx    
  m:factorof    
  m:tendsto    
  from subst. group m:int.class
  m:int [1..1]    
  from subst. group m:Differential-Operator.class
  m:diff [1..1]    
  from subst. group m:partialdiff.class
  m:partialdiff [1..1]    
  from subst. group m:unary-veccalc.class
  m:divergence    
  m:grad    
  m:curl    
  m:laplacian    
  from subst. group m:nary-setlist-constructor.class
  m:set    
  m:list    
  from subst. group m:nary-set.class
  m:union    
  m:intersect    
  m:cartesianproduct    
  from subst. group m:binary-set.class
  m:in    
  m:notin    
  m:notsubset    
  m:notprsubset    
  m:setdiff    
  from subst. group m:nary-set-reln.class
  m:subset    
  m:prsubset    
  from subst. group m:unary-set.class
  m:card [1..1]    
  from subst. group m:sum.class
  m:sum [1..1]    
  from subst. group m:product.class
  m:product [1..1]    
  from subst. group m:limit.class
  m:limit [1..1]    
  from subst. group m:unary-elementary.class
  m:sin    
  m:cos    
  m:tan    
  m:sec    
  m:csc    
  m:cot    
  m:sinh    
  m:cosh    
  m:tanh    
  m:sech    
  m:csch    
  m:coth    
  m:arcsin    
  m:arccos    
  m:arctan    
  m:arccosh    
  m:arccot    
  m:arccoth    
  m:arccsc    
  m:arccsch    
  m:arcsec    
  m:arcsech    
  m:arcsinh    
  m:arctanh    
  from subst. group m:nary-stats.class
  m:mean    
  m:sdev    
  m:variance    
  m:median    
  m:mode    
  from subst. group m:nary-constructor.class
  m:vector    
  m:matrix    
  m:matrixrow    
  from subst. group m:unary-linalg.class
  m:determinant    
  m:transpose    
  from subst. group m:nary-linalg.class
  m:selector [1..1]    
  from subst. group m:binary-linalg.class
  m:vectorproduct    
  m:scalarproduct    
  m:outerproduct    
  from subst. group m:constant-set.class
  m:integers    
  m:reals    
  m:rationals    
  m:naturalnumbers    
  m:complexes    
  m:primes    
  m:emptyset    
  from subst. group m:constant-arith.class
  m:exponentiale    
  m:imaginaryi    
  m:notanumber    
  m:true    
  m:false    
  m:pi    
  m:eulergamma    
  m:infinity    
  1. Choice [0..*]
     • m:annotation    
     • m:annotation-xml    

Attributes

Used in

• Group m:semantics-contexp

Sample instance

<m:semantics cd="NCName" name="NCName">
   <m:apply>
      <m:apply>
         <m:apply>...
         </m:apply>
         <m:bvar>...
         </m:bvar>
         <m:domainofapplication>...
         </m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:apply>
      <m:bvar>
         <m:ci>...
         </m:ci>
      </m:bvar>
      <m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:domainofapplication>
      <m:apply>
         <m:apply>...
         </m:apply>
         <m:bvar>...
         </m:bvar>
         <m:domainofapplication>...
         </m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:apply>
   </m:apply>
   <m:annotation cd="NCName" name="NCName">Any text</m:annotation>
</m:semantics>