isabelle

class Linear_Set

[source: 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.immutable.Set
scala.collection.immutable.Set.incl, scala.collection.immutable.Set.incl, scala.collection.immutable.Set.-, scala.collection.immutable.Set.--, scala.collection.immutable.Set.--, scala.collection.immutable.Set.excl, scala.collection.immutable.Set.excl, scala.collection.immutable.Set.intersect, scala.collection.immutable.Set.**, scala.collection.immutable.Set.map, scala.collection.immutable.Set.flatMap, scala.collection.immutable.Set.filter
Methods inherited from scala.collection.Set
scala.collection.Set.apply, scala.collection.Set.subsetOf, scala.collection.Set.*, scala.collection.Set.equals, scala.collection.Set.hashCode, scala.collection.Set.toArray
Methods inherited from scala.Collection
scala.Collection.toString
Methods inherited from scala.Iterable
scala.Iterable.concat, scala.Iterable.++, scala.Iterable.partition, scala.Iterable.takeWhile, scala.Iterable.dropWhile, scala.Iterable.take, scala.Iterable.drop, scala.Iterable.foreach, scala.Iterable.forall, scala.Iterable.exists, scala.Iterable.find, scala.Iterable.findIndexOf, scala.Iterable.indexOf, scala.Iterable.foldLeft, scala.Iterable.foldRight, scala.Iterable./:, scala.Iterable.:\, scala.Iterable.reduceLeft, scala.Iterable.reduceRight, scala.Iterable.copyToBuffer, scala.Iterable.sameElements, scala.Iterable.toList, scala.Iterable.toSeq, scala.Iterable.toStream, scala.Iterable.mkString, scala.Iterable.mkString, scala.Iterable.mkString, scala.Iterable.addString, scala.Iterable.addString, scala.Iterable.addString, scala.Iterable.copyToArray, scala.Iterable.projection, scala.Iterable.hasDefiniteSize
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
protected val rep : Rep[A]

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]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.empty

override def isEmpty : Boolean

def size : Int

def elements : scala.Iterator[A]

def contains(elem : A) : Boolean

def +(elem : A) : Linear_Set[A]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.+

override def +(elem1 : A, elem2 : A, elems : A*) : Linear_Set[A]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.+

override def ++(elems : scala.Iterable[A]) : Linear_Set[A]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.++

override def ++(elems : scala.Iterator[A]) : Linear_Set[A]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.++

def -(elem : A) : Linear_Set[A]
Overrides
scala.collection.immutable.Set.scala.collection.immutable.Set.-