Packages

t

IntLattice

IntLatticeLaw

trait IntLatticeLaw extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IntLatticeLaw
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type B = L[Boolean]
  2. type F = T
  3. type S = T

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to any2stringadd[IntLatticeLaw] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (IntLatticeLaw, B)
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to ArrowAssoc[IntLatticeLaw] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  8. def ensuring(cond: (IntLatticeLaw) ⇒ Boolean, msg: ⇒ Any): IntLatticeLaw
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to Ensuring[IntLatticeLaw] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  9. def ensuring(cond: (IntLatticeLaw) ⇒ Boolean): IntLatticeLaw
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to Ensuring[IntLatticeLaw] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  10. def ensuring(cond: Boolean, msg: ⇒ Any): IntLatticeLaw
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to Ensuring[IntLatticeLaw] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  11. def ensuring(cond: Boolean): IntLatticeLaw
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to Ensuring[IntLatticeLaw] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to StringFormat[IntLatticeLaw] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def ltIsMonotone(a: I, b: I, c: I): Boolean
  19. def ltIsSound(a: Int, b: Int): Boolean
  20. def ltPreservesBottom(a: I): Boolean
  21. def minusIsAnticommutative(a: I, b: I): Boolean
  22. def minusIsMonotone(a: I, b: I, c: I): Boolean
  23. def minusIsSound(a: Int, b: Int): Boolean
  24. def minusPreservesBottom(a: I): Boolean
  25. def moduloIsMonotone(a: I, b: I, c: I): Boolean
  26. def moduloIsSound(a: Int, b: Int): Boolean
  27. def moduloPreservesBottom(a: I): Boolean
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  31. def plusIsAssociative(a: I, b: I, c: I): Boolean
  32. def plusIsCommutative(a: I, b: I): Boolean
  33. def plusIsMonotone(a: I, b: I, c: I): Boolean
  34. def plusIsSound(a: Int, b: Int): Boolean
  35. def plusPreservesBottom(a: I): Boolean
  36. def quotientIsMonotone(a: I, b: I, c: I): Boolean
  37. def quotientIsSound(a: Int, b: Int): Boolean
  38. def quotientPreservesBottom(a: I): Boolean
  39. def randomPreservesBottom: Boolean
  40. def remainderIsMonotone(a: I, b: I, c: I): Boolean
  41. def remainderIsSound(a: Int, b: Int): Boolean
  42. def remainderPreservesBottom(a: I): Boolean
  43. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  44. def timesIsAssociative(a: I, b: I, c: I): Boolean
  45. def timesIsCommutative(a: I, b: I): Boolean
  46. def timesIsMonotone(a: I, b: I, c: I): Boolean
  47. def timesIsSound(a: Int, b: Int): Boolean
  48. def timesPreservesBottom(a: I): Boolean
  49. def toRealIsMonotone(a: I, b: I): Boolean
  50. def toRealIsSound(a: Int): Boolean
  51. def toRealPreservesBottom: Boolean
  52. def toString(): String
    Definition Classes
    AnyRef → Any
  53. def toStringIsMonotone(a: I, b: I): Boolean
  54. def toStringIsSound(a: Int): Boolean
  55. def toStringPreservesBottom: Boolean
  56. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  58. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. def →[B](y: B): (IntLatticeLaw, B)
    Implicit
    This member is added by an implicit conversion from IntLatticeLaw to ArrowAssoc[IntLatticeLaw] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from IntLatticeLaw to any2stringadd[IntLatticeLaw]

Inherited by implicit conversion StringFormat from IntLatticeLaw to StringFormat[IntLatticeLaw]

Inherited by implicit conversion Ensuring from IntLatticeLaw to Ensuring[IntLatticeLaw]

Inherited by implicit conversion ArrowAssoc from IntLatticeLaw to ArrowAssoc[IntLatticeLaw]

Ungrouped