GlobalAssignment

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. def apply(v: Var): Value

   Return the value assigned to variable v, or throw an Error if the variable is not in this Assignment.

   Return the value assigned to variable v, or throw an Error if the variable is not in this Assignment.

   Definition Classes

   GlobalAssignment → Assignment

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def contains(v: Var): Boolean

   Return true if this Assignment has a value for variable v.

   Return true if this Assignment has a value for variable v.

   Definition Classes

   GlobalAssignment → Assignment

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

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

13. def get(v: Var): Option[Value]

    Return the an Option for the value assigned to variable v.

    Return the an Option for the value assigned to variable v. If v is not contained in this Assignment return None.

    Definition Classes

    GlobalAssignment → Assignment

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

    Definition Classes

    AnyRef → Any

15. def hashCode(): Int

    Definition Classes

    AnyRef → Any

16. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Definition Classes

    AnyRef

18. final def notify(): Unit

    Definition Classes

    AnyRef

19. final def notifyAll(): Unit

    Definition Classes

    AnyRef

20. def setVariables(implicit d: DiffList): Unit

    Set variables to the values specified in this assignment

    Set variables to the values specified in this assignment

    Definition Classes

    GlobalAssignment → Assignment

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

    Definition Classes

    AnyRef

22. def toString(): String

    Definition Classes

    AnyRef → Any

23. def variables: Nothing

    All variables with values in this Assignment

    All variables with values in this Assignment

    Definition Classes

    GlobalAssignment → Assignment

24. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )