Packages

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. def ltIsMonotone(a: I, b: I, c: I): Boolean
  2. def ltIsSound(a: Int, b: Int): Boolean
  3. def ltPreservesBottom(a: I): Boolean
  4. def minusIsAnticommutative(a: I, b: I): Boolean
  5. def minusIsMonotone(a: I, b: I, c: I): Boolean
  6. def minusIsSound(a: Int, b: Int): Boolean
  7. def minusPreservesBottom(a: I): Boolean
  8. def moduloIsMonotone(a: I, b: I, c: I): Boolean
  9. def moduloIsSound(a: Int, b: Int): Boolean
  10. def moduloPreservesBottom(a: I): Boolean
  11. def plusIsAssociative(a: I, b: I, c: I): Boolean
  12. def plusIsCommutative(a: I, b: I): Boolean
  13. def plusIsMonotone(a: I, b: I, c: I): Boolean
  14. def plusIsSound(a: Int, b: Int): Boolean
  15. def plusPreservesBottom(a: I): Boolean
  16. def quotientIsMonotone(a: I, b: I, c: I): Boolean
  17. def quotientIsSound(a: Int, b: Int): Boolean
  18. def quotientPreservesBottom(a: I): Boolean
  19. def randomPreservesBottom: Boolean
  20. def remainderIsMonotone(a: I, b: I, c: I): Boolean
  21. def remainderIsSound(a: Int, b: Int): Boolean
  22. def remainderPreservesBottom(a: I): Boolean
  23. def timesIsAssociative(a: I, b: I, c: I): Boolean
  24. def timesIsCommutative(a: I, b: I): Boolean
  25. def timesIsMonotone(a: I, b: I, c: I): Boolean
  26. def timesIsSound(a: Int, b: Int): Boolean
  27. def timesPreservesBottom(a: I): Boolean
  28. def toRealIsMonotone(a: I, b: I): Boolean
  29. def toRealIsSound(a: Int): Boolean
  30. def toRealPreservesBottom: Boolean
  31. def toStringIsMonotone(a: I, b: I): Boolean
  32. def toStringIsSound(a: Int): Boolean
  33. def toStringPreservesBottom: Boolean