DiscreteAssignment1

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. val _1: A

   Definition Classes

   DiscreteAssignment1 → AbstractAssignment1

7. 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

   AbstractAssignment1 → Assignment

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. 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

    AbstractAssignment1 → Assignment

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

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

14. 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

    AbstractAssignment1 → Assignment

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

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    Definition Classes

    AnyRef → Any

17. def intValue1: Int

18. def intValue1_=(i: Int): Unit

19. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Definition Classes

    AnyRef

21. final def notify(): Unit

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    Definition Classes

    AnyRef

23. 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

    AbstractAssignment1 → Assignment

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

    Definition Classes

    AnyRef

25. def toString(): String

    Definition Classes

    AnyRef → Any

26. def update[V <: Var, U <: update.V.Value](variable: V, value: U): Unit

27. def value1: A.Value

    Definition Classes

    DiscreteAssignment1 → AbstractAssignment1

28. def value1_=(v: A.Value): Unit

29. def variables: Seq[A]

    All variables with values in this Assignment

    All variables with values in this Assignment

    Definition Classes

    AbstractAssignment1 → Assignment

30. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )