leon.lang

synthesis

package synthesis

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. synthesis
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class Leaf[T](v: T) extends Oracle[T] with Product with Serializable

    Annotations
    @ignore()

  2. case class Node[T](l: Oracle[T], v: T, r: Oracle[T]) extends Oracle[T] with Product with Serializable

    Annotations
    @ignore()

  3. abstract class Oracle[T] extends AnyRef

    Annotations
    @implicitNotFound( ... ) @ignore() @library()

Value Members

  1. def ?[T](e1: T, es: T*): T

    Annotations
    @ignore()

  2. def ?[T](e1: T): T

    Annotations
    @ignore()

  3. def ?![T](es: Any*): T

    Annotations
    @ignore()

  4. def ???[T]: T

    Annotations
    @ignore()

  5. def choose[A, B, C, D, E](predicate: (A, B, C, D, E) ⇒ Boolean): (A, B, C, D, E)

    Annotations
    @ignore()

  6. def choose[A, B, C, D](predicate: (A, B, C, D) ⇒ Boolean): (A, B, C, D)

    Annotations
    @ignore()

  7. def choose[A, B, C](predicate: (A, B, C) ⇒ Boolean): (A, B, C)

    Annotations
    @ignore()

  8. def choose[A, B](predicate: (A, B) ⇒ Boolean): (A, B)

    Annotations
    @ignore()

  9. def choose[A](predicate: (A) ⇒ Boolean): A

    Annotations
    @ignore()

  10. def withOracle[A, R](body: (Oracle[A]) ⇒ R): R

    Annotations
    @ignore()

Inherited from AnyRef

Inherited from Any

Ungrouped