Scala 2
|
|
isabelle/Linear_Set.scala
]
class
Linear_Set[A]
extends
scala.collection.immutable.Set[A]Value Summary | |
protected val
|
rep : Rep[A] |
Method Summary | |
def
|
+ (elem : A) : Linear_Set[A] |
override def
|
+ (elem1 : A, elem2 : A, elems : A*) : Linear_Set[A] |
override def
|
++ (elems : scala.Iterable[A]) : Linear_Set[A] |
override def
|
++ (elems : scala.Iterator[A]) : Linear_Set[A] |
def
|
- (elem : A) : Linear_Set[A] |
def
|
append_after (hook : scala.Option[A], elems : scala.Seq[A]) : Linear_Set[A] |
def
|
contains (elem : A) : Boolean |
def
|
delete_after (hook : scala.Option[A]) : Linear_Set[A] |
def
|
delete_between (from : scala.Option[A], to : scala.Option[A]) : Linear_Set[A] |
def
|
elements : scala.Iterator[A] |
def
|
empty [B] : Linear_Set[B] |
def
|
insert_after (hook : scala.Option[A], elem : A) : Linear_Set[A] |
override def
|
isEmpty : Boolean |
def
|
next (elem : A) : scala.Option[A] |
def
|
prev (elem : A) : scala.Option[A] |
def
|
size : Int |
override def
|
stringPrefix : java.lang.String |
Methods inherited from scala.Collection | |
scala.Collection.toString |
Methods inherited from scala.Function1 | |
scala.Function1.compose, scala.Function1.andThen |
Methods inherited from AnyRef | |
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
Method Details |
def
next(elem : A) : scala.Option[A]
def
prev(elem : A) : scala.Option[A]
def
insert_after(hook : scala.Option[A], elem : A) : Linear_Set[A]
def
delete_after(hook : scala.Option[A]) : Linear_Set[A]
def
append_after(hook : scala.Option[A], elems : scala.Seq[A]) : Linear_Set[A]
def
delete_between(from : scala.Option[A], to : scala.Option[A]) : Linear_Set[A]
override
def
stringPrefix : java.lang.String
def
empty[B] : Linear_Set[B]
override
def
isEmpty : Boolean
def
size : Int
def
elements : scala.Iterator[A]
def
+(elem : A) : Linear_Set[A]
override
def
+(elem1 : A, elem2 : A, elems : A*) : Linear_Set[A]
override
def
++(elems : scala.Iterable[A]) : Linear_Set[A]
override
def
++(elems : scala.Iterator[A]) : Linear_Set[A]
def
-(elem : A) : Linear_Set[A]
Scala 2
|
|