Packages

case class Arity(subargs: List[ArgumentComponent], variables: List[VariableComponent], arguments: List[ArgumentComponent], attribution: Boolean) extends Product with Serializable

the arity of a symbol describes what kind of objects can be formed from it

subargs

arguments before the context

variables

the variable positions in order

arguments

arguments after the context

attribution

true if it can attribute an object special cases and analogs in the OpenMath role system for a symbol s: no arguments, variables: constant, s some arguments, no variables: application OMA(s, args) some arguments, some variables: binder, OMBINDC(s, vars, args) as above but exactly 1 argument: usual binders, generalized binders as suggested by Davenport, Kohlhase, MKM 2010

Source
Arity.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Arity
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Arity(subargs: List[ArgumentComponent], variables: List[VariableComponent], arguments: List[ArgumentComponent], attribution: Boolean)

    subargs

    arguments before the context

    variables

    the variable positions in order

    arguments

    arguments after the context

    attribution

    true if it can attribute an object special cases and analogs in the OpenMath role system for a symbol s: no arguments, variables: constant, s some arguments, no variables: application OMA(s, args) some arguments, some variables: binder, OMBINDC(s, vars, args) as above but exactly 1 argument: usual binders, generalized binders as suggested by Davenport, Kohlhase, MKM 2010

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val arguments: List[ArgumentComponent]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. val attribution: Boolean
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def components: List[ArityComponent]
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. def firstArgNumberIfAny: Int
  12. def firstVarNumberIfAny: Int
  13. def flatImplicitArguments(args: Int): List[ImplicitArg]

    args

    the number of total arguments

    returns

    the list of remapped implicit arguments

  14. def flatten(markers: List[Marker], subs: Int, vars: Int, args: Int, attrib: Boolean): List[Marker]

    flattens all sequence arguments/variables of a notation according to a complex term

    flattens all sequence arguments/variables of a notation according to a complex term

    markers

    the list of markers to flatten

    subs

    number of arguments before variables

    vars

    number of variables

    args

    number of arguments after variables if there is more than 1 sequence arguments, the available arguments are evenly distributed over the sequences remaining arguments are distributed in order of content position multiple sequence variables are treated accordingly it is assumed there are no sequences in the scopes pre: canHandle(vars, args) == true

  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def groupArgs(args: List[Term], useSubArgs: Boolean): List[List[Term]]

    groups a list of arguments into sequences according to distributeArgs

    groups a list of arguments into sequences according to distributeArgs

    args

    the arguments to group

    useSubArgs

    arguments occur before/after bound variables

  17. def groupVars(cont: Context): List[Context]

    groups a list of variable declarations into sequences according to distributeVars

  18. def isApplication: Boolean
  19. def isConstant: Boolean
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def isPlainBinder: Boolean
  22. def length: Int
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def numNormalArgs: Int
  27. def numNormalSubs: Int
  28. def numNormalVars: Int
  29. def numSeqArgs: Int
  30. def numSeqSubs: Int
  31. def numSeqVars: Int
  32. val subargs: List[ArgumentComponent]
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. val variables: List[VariableComponent]
  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped