PowerSetPartialOrder

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. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   Definition Classes

   AnyRef

9. def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10. def eqv(x: Set[A], y: Set[A]): Boolean

    Returns true if x and y are equivalent, false otherwise.

    Returns true if x and y are equivalent, false otherwise.

    Definition Classes

    PowerSetPartialOrder → PartialOrder → Eq

11. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

13. def gt(x: Set[A], y: Set[A]): Boolean

    Definition Classes

    PowerSetPartialOrder → PartialOrder

14. def gteqv(x: Set[A], y: Set[A]): Boolean

    Definition Classes

    PowerSetPartialOrder → PartialOrder

15. def hashCode(): Int

    Definition Classes

    AnyRef → Any

16. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17. def lt(x: Set[A], y: Set[A]): Boolean

    Definition Classes

    PowerSetPartialOrder → PartialOrder

18. def lteqv(x: Set[A], y: Set[A]): Boolean

    Definition Classes

    PowerSetPartialOrder → PartialOrder

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

    Definition Classes

    AnyRef

20. def neqv(x: Set[A], y: Set[A]): Boolean

    Returns false if x and y are equivalent, true otherwise.

    Returns false if x and y are equivalent, true otherwise.

    Definition Classes

    Eq

21. final def notify(): Unit

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    Definition Classes

    AnyRef

23. def on[B](f: (B) ⇒ Set[A]): PartialOrder[B]

    Defines a partial order on B by mapping B to A using f and using As order to order B.

    Defines a partial order on B by mapping B to A using f and using As order to order B.

    Definition Classes

    PartialOrder → Eq

24. def partialCompare(x: Set[A], y: Set[A]): Double

    Result of comparing x with y.

    Result of comparing x with y. Returns NaN if operands are not comparable. If operands are comparable, returns a Double whose sign is: - negative iff x < y - zero iff x === y - positive iff x > y

    Definition Classes

    PowerSetPartialOrder → PartialOrder

25. def pmax(x: Set[A], y: Set[A]): Option[Set[A]]

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Definition Classes

    PartialOrder

26. def pmin(x: Set[A], y: Set[A]): Option[Set[A]]

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Definition Classes

    PartialOrder

27. def reverse: PartialOrder[Set[A]]

    Defines a partial order on A where all arrows switch direction.

    Defines a partial order on A where all arrows switch direction.

    Definition Classes

    PartialOrder

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

    Definition Classes

    AnyRef

29. def toString(): String

    Definition Classes

    AnyRef → Any

30. def tryCompare(x: Set[A], y: Set[A]): Option[Int]

    Result of comparing x with y.

    Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is: - negative iff x < y - zero iff x == y - positive iff x > y

    Definition Classes

    PartialOrder

31. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )