Class

inox.ast.DSL

ExpressionWrapper

Related Doc: package DSL

Permalink

implicit class ExpressionWrapper extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExpressionWrapper
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExpressionWrapper(e: Trees.Expr)

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. def !==: (Trees.Expr) ⇒ Trees.Not

    Permalink

  3. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  4. def %: (Trees.Expr) ⇒ Trees.Modulo

    Permalink

  5. def &: (Trees.Expr) ⇒ Trees.SetIntersection

    Permalink

  6. def &&: (Trees.Expr) ⇒ Trees.Expr

    Permalink

  7. def *: (Trees.Expr) ⇒ Trees.Times

    Permalink

  8. def +: (Trees.Expr) ⇒ Trees.Plus

    Permalink

  9. def ++: (Trees.Expr) ⇒ Trees.SetUnion

    Permalink

  10. def -: (Trees.Expr) ⇒ Trees.Minus

    Permalink

  11. def --: (Trees.Expr) ⇒ Trees.SetDifference

    Permalink

  12. def /: (Trees.Expr) ⇒ Trees.Division

    Permalink

  13. def <: (Trees.Expr) ⇒ Trees.LessThan

    Permalink

  14. def <=: (Trees.Expr) ⇒ Trees.LessEquals

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  16. def ===: (Trees.Expr) ⇒ Trees.Equals

    Permalink

  17. def ==>: (Trees.Expr) ⇒ Trees.Implies

    Permalink

  18. def >: (Trees.Expr) ⇒ Trees.GreaterThan

    Permalink

  19. def >=: (Trees.Expr) ⇒ Trees.GreaterEquals

    Permalink

  20. def _1: Trees.TupleSelect

    Permalink

  21. def _2: Trees.TupleSelect

    Permalink

  22. def _3: Trees.TupleSelect

    Permalink

  23. def _4: Trees.TupleSelect

    Permalink

  24. def apply(es: Trees.Expr*): Trees.Application

    Permalink

  25. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  26. def clone(): AnyRef

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

  27. def contains: (Trees.Expr) ⇒ Trees.ElementOfSet

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  29. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  30. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  32. def getField(selector: Identifier): Trees.ADTSelector

    Permalink

  33. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  34. def insert: (Trees.Expr) ⇒ Trees.SetAdd

    Permalink

  35. def is(cons: Trees.ADTConstructor): Trees.IsConstructor

    Permalink

  36. def is(id: Identifier): Trees.IsConstructor

    Permalink

  37. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  39. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  40. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  41. def subsetOf: (Trees.Expr) ⇒ Trees.SubsetOf

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  43. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  44. def unary_!: Trees.Not

    Permalink

  45. def unary_-: Trees.UMinus

    Permalink

  46. final def wait(): Unit

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

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

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

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

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

  49. def ||: (Trees.Expr) ⇒ Trees.Expr

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped