OrderedVariableList(VariableList)

variable.spad line 1 [edit on github]

• VariableList : List(Symbol)

This domain implements ordered variables

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

convert : % -> InputForm

from ConvertibleTo(InputForm)

convert : % -> Pattern(Float)

from ConvertibleTo(Pattern(Float))

convert : % -> Pattern(Integer)

from ConvertibleTo(Pattern(Integer))

convert : % -> Symbol

from ConvertibleTo(Symbol)

enumerate : () -> List(%)

from Finite

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

index : PositiveInteger -> %

from Finite

latex : % -> String

from SetCategory

lookup : % -> PositiveInteger

from Finite

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

random : () -> %

from Finite

size : () -> NonNegativeInteger

from Finite

smaller? : (%, %) -> Boolean

from Comparable

variable : Symbol -> Union(%, "failed")

variable(s) returns a member of the variable set or failed

~= : (%, %) -> Boolean

from BasicType

Finite

ConvertibleTo(Pattern(Integer))

CoercibleTo(OutputForm)

Hashable

Comparable

ConvertibleTo(InputForm)

ConvertibleTo(Symbol)

OrderedSet

SetCategory

ConvertibleTo(Pattern(Float))

BasicType

OrderedFinite

PartialOrder