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
- Alphabetic
- By Inheritance
- Arity
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val arguments: List[ArgumentComponent]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val attribution: Boolean
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- def components: List[ArityComponent]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def firstArgNumberIfAny: Int
- def firstVarNumberIfAny: Int
-
def
flatImplicitArguments(args: Int): List[ImplicitArg]
- args
the number of total arguments
- returns
the list of remapped implicit arguments
-
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
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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
-
def
groupVars(cont: Context): List[Context]
groups a list of variable declarations into sequences according to distributeVars
- def isApplication: Boolean
- def isConstant: Boolean
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isPlainBinder: Boolean
- def length: Int
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def numNormalArgs: Int
- def numNormalSubs: Int
- def numNormalVars: Int
- def numSeqArgs: Int
- def numSeqSubs: Int
- def numSeqVars: Int
- val subargs: List[ArgumentComponent]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val variables: List[VariableComponent]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()