isabelle

Linear_Set

final class Linear_Set[A] extends Set[A] with GenericSetTemplate[A, Linear_Set] with SetLike[A, Linear_Set[A]]

Linear Supertypes
Set[A], Set[A], SetLike[A, Linear_Set[A]], Subtractable[A, Linear_Set[A]], GenSet[A], GenericSetTemplate[A, Linear_Set], GenSetLike[A, Linear_Set[A]], (A) ⇒ Boolean, Iterable[A], Iterable[A], IterableLike[A, Linear_Set[A]], Equals, GenIterable[A], GenIterableLike[A, Linear_Set[A]], Traversable[A], Immutable, Traversable[A], GenTraversable[A], GenericTraversableTemplate[A, Linear_Set], TraversableLike[A, Linear_Set[A]], GenTraversableLike[A, Linear_Set[A]], Parallelizable[A, ParSet[A]], TraversableOnce[A], GenTraversableOnce[A], FilterMonadic[A, Linear_Set[A]], HasNewBuilder[A, isabelle.Linear_Set[A] @scala.annotation.unchecked.uncheckedVariance], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Linear_Set
  2. Set
  3. Set
  4. SetLike
  5. Subtractable
  6. GenSet
  7. GenericSetTemplate
  8. GenSetLike
  9. Function1
  10. Iterable
  11. Iterable
  12. IterableLike
  13. Equals
  14. GenIterable
  15. GenIterableLike
  16. Traversable
  17. Immutable
  18. Traversable
  19. GenTraversable
  20. GenericTraversableTemplate
  21. TraversableLike
  22. GenTraversableLike
  23. Parallelizable
  24. TraversableOnce
  25. GenTraversableOnce
  26. FilterMonadic
  27. HasNewBuilder
  28. AnyRef
  29. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Self = Linear_Set[A]

    Attributes
    protected[this]
    Definition Classes
    TraversableLike

  2. class WithFilter extends FilterMonadic[A, Repr]

    Definition Classes
    TraversableLike

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. def &(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    GenSetLike

  5. def &~(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    GenSetLike

  6. def +(elem: A): Linear_Set[A]

    Definition Classes
    Linear_Set → SetLike → GenSetLike

  7. def +(elem1: A, elem2: A, elems: A*): Linear_Set[A]

    Definition Classes
    SetLike

  8. def ++(elems: GenTraversableOnce[A]): Linear_Set[A]

    Definition Classes
    SetLike

  9. def ++[B >: A, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  10. def ++:[B >: A, That](that: Traversable[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike

  11. def ++:[B >: A, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike

  12. def -(elem: A): Linear_Set[A]

    Definition Classes
    Linear_Set → SetLike → Subtractable → GenSetLike

  13. def -(elem1: A, elem2: A, elems: A*): Linear_Set[A]

    Definition Classes
    Subtractable

  14. def --(xs: GenTraversableOnce[A]): Linear_Set[A]

    Definition Classes
    Subtractable

  15. def /:[B](z: B)(op: (B, A) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  16. def :\[B](z: B)(op: (A, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  17. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  18. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  19. def addString(b: StringBuilder): StringBuilder

    Definition Classes
    TraversableOnce

  20. def addString(b: StringBuilder, sep: String): StringBuilder

    Definition Classes
    TraversableOnce

  21. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Definition Classes
    TraversableOnce

  22. def aggregate[B](z: B)(seqop: (B, A) ⇒ B, combop: (B, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  23. def andThen[A](g: (Boolean) ⇒ A): (A) ⇒ A

    Definition Classes
    Function1
    Annotations
    @unspecialized()

  24. def append_after(hook: Option[A], elems: Seq[A]): Linear_Set[A]

  25. def apply(elem: A): Boolean

    Definition Classes
    GenSetLike → Function1

  26. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  27. def canEqual(that: Any): Boolean

    Definition Classes
    IterableLike → Equals

  28. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. def collect[B, That](pf: PartialFunction[A, B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  30. def collectFirst[B](pf: PartialFunction[A, B]): Option[B]

    Definition Classes
    TraversableOnce

  31. def companion: GenericCompanion[Linear_Set]

    Definition Classes
    Linear_Set → Set → Set → GenSet → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate

  32. def compose[A](g: (A) ⇒ A): (A) ⇒ Boolean

    Definition Classes
    Function1
    Annotations
    @unspecialized()

  33. def contains(elem: A): Boolean

    Definition Classes
    Linear_Set → SetLike → GenSetLike

  34. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Unit

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  35. def copyToArray[B >: A](xs: Array[B]): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce

  36. def copyToArray[B >: A](xs: Array[B], start: Int): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce

  37. def copyToBuffer[B >: A](dest: Buffer[B]): Unit

    Definition Classes
    TraversableOnce

  38. def count(p: (A) ⇒ Boolean): Int

    Definition Classes
    TraversableOnce → GenTraversableOnce

  39. def delete_after(hook: Option[A]): Linear_Set[A]

  40. def diff(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    SetLike → GenSetLike

  41. def drop(n: Int): Linear_Set[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  42. def dropRight(n: Int): Linear_Set[A]

    Definition Classes
    IterableLike

  43. def dropWhile(p: (A) ⇒ Boolean): Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  44. def empty: Linear_Set[A]

    Definition Classes
    GenericSetTemplate

  45. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  46. def equals(that: Any): Boolean

    Definition Classes
    GenSetLike → Equals → AnyRef → Any

  47. def exists(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  48. def filter(p: (A) ⇒ Boolean): Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  49. def filterNot(p: (A) ⇒ Boolean): Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  50. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  51. def find(p: (A) ⇒ Boolean): Option[A]

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  52. def flatMap[B, That](f: (A) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  53. def flatten[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[B]

    Definition Classes
    GenericTraversableTemplate

  54. def fold[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce

  55. def foldLeft[B](z: B)(op: (B, A) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  56. def foldRight[B](z: B)(op: (A, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  57. def forall(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  58. def foreach[U](f: (A) ⇒ U): Unit

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic

  59. def genericBuilder[B]: Builder[B, Linear_Set[B]]

    Definition Classes
    GenericTraversableTemplate

  60. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  61. def get_after(hook: Option[A]): Option[A]

  62. def groupBy[K](f: (A) ⇒ K): Map[K, Linear_Set[A]]

    Definition Classes
    TraversableLike → GenTraversableLike

  63. def grouped(size: Int): Iterator[Linear_Set[A]]

    Definition Classes
    IterableLike

  64. def hasDefiniteSize: Boolean

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  65. def hashCode(): Int

    Definition Classes
    GenSetLike → AnyRef → Any

  66. def head: A

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  67. def headOption: Option[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  68. def init: Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  69. def inits: Iterator[Linear_Set[A]]

    Definition Classes
    TraversableLike

  70. def insert_after(hook: Option[A], elem: A): Linear_Set[A]

  71. def intersect(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    GenSetLike

  72. def isEmpty: Boolean

    Definition Classes
    Linear_Set → SetLike → IterableLike → GenericTraversableTemplate → TraversableLike → TraversableOnce → GenTraversableOnce

  73. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  74. final def isTraversableAgain: Boolean

    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce

  75. def iterator(from: A, to: A): Iterator[A]

  76. def iterator(elem: A): Iterator[A]

  77. def iterator: Iterator[A]

    Definition Classes
    Linear_Set → GenSetLike → IterableLike → GenIterableLike

  78. def last: A

    Definition Classes
    Linear_Set → TraversableLike → GenTraversableLike

  79. def lastOption: Option[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  80. def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    SetLike → TraversableLike → GenTraversableLike → FilterMonadic
    Annotations
    @migration
    Migration

    (Changed in version 2.8.0) Set.map now returns a Set, so it will discard duplicate values.

  81. def max[B >: A](implicit cmp: Ordering[B]): A

    Definition Classes
    TraversableOnce → GenTraversableOnce

  82. def maxBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A

    Definition Classes
    TraversableOnce → GenTraversableOnce

  83. def min[B >: A](implicit cmp: Ordering[B]): A

    Definition Classes
    TraversableOnce → GenTraversableOnce

  84. def minBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A

    Definition Classes
    TraversableOnce → GenTraversableOnce

  85. def mkString: String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  86. def mkString(sep: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  87. def mkString(start: String, sep: String, end: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  88. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  89. def newBuilder: Builder[A, Linear_Set[A]]

    Attributes
    protected[this]
    Definition Classes
    SetLike → TraversableLike → HasNewBuilder

  90. def next(elem: A): Option[A]

  91. val nexts: Map[A, A]

  92. def nonEmpty: Boolean

    Definition Classes
    TraversableOnce → GenTraversableOnce

  93. final def notify(): Unit

    Definition Classes
    AnyRef

  94. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  95. def par: ParSet[A]

    Definition Classes
    Parallelizable

  96. def parCombiner: Combiner[A, ParSet[A]]

    Attributes
    protected
    Definition Classes
    Set → SetLike → Iterable → TraversableLike → Parallelizable

  97. def partition(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])

    Definition Classes
    TraversableLike → GenTraversableLike

  98. def prev(elem: A): Option[A]

  99. def product[B >: A](implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  100. def reduce[A1 >: A](op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce

  101. def reduceLeft[B >: A](op: (B, A) ⇒ B): B

    Definition Classes
    TraversableOnce

  102. def reduceLeftOption[B >: A](op: (B, A) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  103. def reduceOption[A1 >: A](op: (A1, A1) ⇒ A1): Option[A1]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  104. def reduceRight[B >: A](op: (A, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  105. def reduceRightOption[B >: A](op: (A, B) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  106. def repr: Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  107. def reverse: Linear_Set[A]

  108. def reversed: List[A]

    Attributes
    protected[this]
    Definition Classes
    TraversableOnce

  109. def sameElements[B >: A](that: GenIterable[B]): Boolean

    Definition Classes
    IterableLike → GenIterableLike

  110. def scan[B >: A, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  111. def scanLeft[B, That](z: B)(op: (B, A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  112. def scanRight[B, That](z: B)(op: (A, B) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The behavior of scanRight has changed. The previous behavior can be reproduced with scanRight.reverse.

  113. def seq: Set[A]

    Definition Classes
    Set → Set → GenSet → GenSetLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce

  114. def size: Int

    Definition Classes
    Linear_Set → GenTraversableLike → TraversableOnce → GenTraversableOnce

  115. def slice(from: Int, until: Int): Linear_Set[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  116. def sliding(size: Int, step: Int): Iterator[Linear_Set[A]]

    Definition Classes
    IterableLike

  117. def sliding(size: Int): Iterator[Linear_Set[A]]

    Definition Classes
    IterableLike

  118. def span(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])

    Definition Classes
    TraversableLike → GenTraversableLike

  119. def splitAt(n: Int): (Linear_Set[A], Linear_Set[A])

    Definition Classes
    TraversableLike → GenTraversableLike

  120. def stringPrefix: String

    Definition Classes
    Linear_Set → SetLike → TraversableLike → GenTraversableLike

  121. def subsetOf(that: GenSet[A]): Boolean

    Definition Classes
    GenSetLike

  122. def subsets: Iterator[Linear_Set[A]]

    Definition Classes
    SetLike

  123. def subsets(len: Int): Iterator[Linear_Set[A]]

    Definition Classes
    SetLike

  124. def sum[B >: A](implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  125. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  126. def tail: Linear_Set[A]

    Definition Classes
    TraversableLike → GenTraversableLike

  127. def tails: Iterator[Linear_Set[A]]

    Definition Classes
    TraversableLike

  128. def take(n: Int): Linear_Set[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  129. def takeRight(n: Int): Linear_Set[A]

    Definition Classes
    IterableLike

  130. def takeWhile(p: (A) ⇒ Boolean): Linear_Set[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  131. def thisCollection: Iterable[A]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  132. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A]]): Col[A]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  133. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  134. def toBuffer[A1 >: A]: Buffer[A1]

    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce

  135. def toCollection(repr: Linear_Set[A]): Iterable[A]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  136. def toIndexedSeq: IndexedSeq[A]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  137. def toIterable: Iterable[A]

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  138. def toIterator: Iterator[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce

  139. def toList: List[A]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  140. def toMap[T, U](implicit ev: <:<[A, (T, U)]): Map[T, U]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  141. def toSeq: Seq[A]

    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce

  142. def toSet[B >: A]: Set[B]

    Definition Classes
    Set → TraversableOnce → GenTraversableOnce

  143. def toStream: Stream[A]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce

  144. def toString(): String

    Definition Classes
    SetLike → Function1 → TraversableLike → AnyRef → Any

  145. def toTraversable: Traversable[A]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  146. def toVector: Vector[A]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  147. def transpose[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[Linear_Set[B]]

    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) transpose throws an IllegalArgumentException if collections are not uniformly sized.

  148. def union(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    SetLike → GenSetLike

  149. def unzip[A1, A2](implicit asPair: (A) ⇒ (A1, A2)): (Linear_Set[A1], Linear_Set[A2])

    Definition Classes
    GenericTraversableTemplate

  150. def unzip3[A1, A2, A3](implicit asTriple: (A) ⇒ (A1, A2, A3)): (Linear_Set[A1], Linear_Set[A2], Linear_Set[A3])

    Definition Classes
    GenericTraversableTemplate

  151. def view(from: Int, until: Int): IterableView[A, Linear_Set[A]]

    Definition Classes
    IterableLike → TraversableLike

  152. def view: IterableView[A, Linear_Set[A]]

    Definition Classes
    IterableLike → TraversableLike

  153. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  154. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  155. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  156. def withFilter(p: (A) ⇒ Boolean): FilterMonadic[A, Linear_Set[A]]

    Definition Classes
    TraversableLike → FilterMonadic

  157. def zip[A1 >: A, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike

  158. def zipAll[B, A1 >: A, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike

  159. def zipWithIndex[A1 >: A, That](implicit bf: CanBuildFrom[Linear_Set[A], (A1, Int), That]): That

    Definition Classes
    IterableLike → GenIterableLike

  160. def |(that: GenSet[A]): Linear_Set[A]

    Definition Classes
    GenSetLike

Deprecated Value Members

  1. def /:\[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    GenTraversableOnce
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) use fold instead

Inherited from Set[A]

Inherited from Set[A]

Inherited from SetLike[A, Linear_Set[A]]

Inherited from Subtractable[A, Linear_Set[A]]

Inherited from GenSet[A]

Inherited from GenericSetTemplate[A, Linear_Set]

Inherited from GenSetLike[A, Linear_Set[A]]

Inherited from (A) ⇒ Boolean

Inherited from Iterable[A]

Inherited from Iterable[A]

Inherited from IterableLike[A, Linear_Set[A]]

Inherited from Equals

Inherited from GenIterable[A]

Inherited from GenIterableLike[A, Linear_Set[A]]

Inherited from Traversable[A]

Inherited from Immutable

Inherited from Traversable[A]

Inherited from GenTraversable[A]

Inherited from GenericTraversableTemplate[A, Linear_Set]

Inherited from TraversableLike[A, Linear_Set[A]]

Inherited from GenTraversableLike[A, Linear_Set[A]]

Inherited from Parallelizable[A, ParSet[A]]

Inherited from TraversableOnce[A]

Inherited from GenTraversableOnce[A]

Inherited from FilterMonadic[A, Linear_Set[A]]

Inherited from HasNewBuilder[A, isabelle.Linear_Set[A] @scala.annotation.unchecked.uncheckedVariance]

Inherited from AnyRef

Inherited from Any

Ungrouped