Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def __assign[T](v: VarLike[T], rhs: Any): Unit
5.  macro def __assign(lhs: Any, rhs: Any): Unit
6.  def __doWhile(body: Unit, cond: Boolean): Unit
7.  def __ifThenElse(cond: api.Bit, thenBr: ⇒ api.Void, elseBr: ⇒ api.Void)(implicit ov6: Overload6, ctx: SrcCtx, state: State): api.Void
8.  def __ifThenElse(cond: api.Bit, thenBr: ⇒ Any, elseBr: ⇒ api.Void)(implicit ov5: Overload5, ctx: SrcCtx, state: State): api.Void
9.  def __ifThenElse(cond: api.Bit, thenBr: ⇒ api.Void, elseBr: ⇒ Any)(implicit ov4: Overload4, ctx: SrcCtx, state: State): api.Void
10.  def __ifThenElse[A](cond: api.Bit, thenBr: ⇒ Sym[A], elseBr: ⇒ Sym[A])(implicit ov3: Overload3, ctx: SrcCtx, state: State): A
11.  def __ifThenElse[A](cond: api.Bit, thenBr: ⇒ Literal, elseBr: ⇒ Sym[A])(implicit arg0: Type[A], ov2: Overload2, ctx: SrcCtx, state: State): A
12.  def __ifThenElse[A](cond: api.Bit, thenBr: ⇒ Sym[A], elseBr: ⇒ Literal)(implicit arg0: Type[A], ov1: Overload1, ctx: SrcCtx, state: State): A
13.  def __ifThenElse[A](cond: api.Bit, thenBr: ⇒ Lift[A], elseBr: ⇒ Lift[A])(implicit arg0: Type[A], ov0: Overload0, ctx: SrcCtx, state: State): A
14.  def __newVar[A, B](init: A)(implicit lift: argon.Lifting[A, B], ctx: SrcCtx, state: State): VarLike[B]
15.  def __newVar[A <: api.Top[A]](init: A)(implicit arg0: Type[A], ctx: SrcCtx, state: State): VarLike[A]
16.  def __newVar[T](init: T): VarLike[T]

    Definition Classes

    LowPriorityVirtualization

17.  def __return(expr: Any): Unit
18.  macro def __throw(t: Throwable): Unit
19.  def __use[T](v: api.Var[T]): T
20.  def __use[T](v: Ptr[T]): T
21.  macro def __use[T](v: T): T
22.  def __valName(init: Any, name: String)(implicit state: State): Unit
23.  def __whileDo(cond: Boolean, body: Unit): Unit
24.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

25.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

26.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

28.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

29.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

30.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

31.  def ifThenElse[A](cond: api.Bit, thenBr: () ⇒ Sym[A], elseBr: () ⇒ Sym[A]): A
32.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

33.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

34.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

35.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

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

    Definition Classes

    AnyRef

37.  def toString(): String

    Definition Classes

    AnyRef → Any

38.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )