Object

at.logic.gapt.utils.dssupport

ListSupport

Related Doc: package dssupport

Permalink

object ListSupport

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ListSupport
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def boundedPower[A](s: List[A], n: Int): List[List[A]]

    Permalink

    Generates the powerset S as a List of a List, where |S| <= n

    Generates the powerset S as a List of a List, where |S| <= n

    A

    type of the list

    s

    list

    n

    upperbound for the powerset

    returns

    bounded powerset

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. def distinct3rd[T, R](l: List[(String, T, R)]): List[(String, T, R)]

    Permalink

    For each 3rd component which occurs in the list, remove all but the last element with that 3rd component.

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

    Permalink
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. def listComplements[T](xs: Seq[T]): Seq[Seq[T]]

    Permalink

    Given a list xs, returns a list of copies of xs without the first, second, ..., last element.

  15. def mapAccumL[Acc, X, Y](f: (Acc, X) ⇒ (Acc, Y), init: Acc, list: List[X]): (Acc, List[Y])

    Permalink

    Performs a map with an accumulator.

    Performs a map with an accumulator. Useful for e.g. mapping a custom counter onto a collection.

    f

    The mapping function. Takes an accumulator and an element from the list and returns a tuple of the new accumulator value and the mapped list element.

    init

    The initial accumulator value.

    list

    The list on which to perform the map.

    returns

    The mapped list and the final value of the accumulator.

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

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. def product[A, B](xs: List[A], ys: List[B]): List[(A, B)]

    Permalink

    Cartesian product of two lists

  20. def product[T](l: List[List[T]]): List[List[T]]

    Permalink

    Cartesian product of an arbitrary list of lists

  21. def removeFirstWhere[A](s: List[A], prop: (A) ⇒ Boolean): List[A]

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

    Permalink
    Definition Classes
    AnyRef
  23. def times[T](s1: List[List[T]], s2: List[List[T]]): List[List[T]]

    Permalink

    all lists obtainable by concatenating one from s1 with one from s2

  24. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped