Packages

t

RealLattice

RealLatticeLaw

trait RealLatticeLaw extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RealLatticeLaw
  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 I = T
  3. type S = T

Value Members

  1. def ceilingIsMonotone(a: F, b: F): Boolean
  2. def ceilingIsSound(a: Double): Boolean
  3. def ceilingPreservesBottom: Boolean
  4. def divIsMonotone(a: F, b: F, c: F): Boolean
  5. def divIsSound(a: Double, b: Double): Boolean
  6. def divPreservesBottom(a: F): Boolean
  7. def logIsMonotone(a: F, b: F): Boolean
  8. def logIsSound(a: Double): Boolean
  9. def logPreservesBottom: Boolean
  10. def ltIsMonotone(a: F, b: F, c: F): Boolean
  11. def ltIsSound(a: Double, b: Double): Boolean
  12. def ltPreservesBottom(a: F): Boolean
  13. def minusIsMonotone(a: F, b: F, c: F): Boolean
  14. def minusIsSound(a: Double, b: Double): Boolean
  15. def minusPreservesBottom(a: F): Boolean
  16. def plusIsMonotone(a: F, b: F, c: F): Boolean
  17. def plusIsSound(a: Double, b: Double): Boolean
  18. def plusPreservesBottom(a: F): Boolean
  19. def randomPreservesBottom: Boolean
  20. def timesIsMonotone(a: F, b: F, c: F): Boolean
  21. def timesIsSound(a: Double, b: Double): Boolean
  22. def timesPreservesBottom(a: F): Boolean
  23. def toIntIsMonotone(a: F, b: F): Boolean
  24. def toIntIsSound(a: Double): Boolean
  25. def toIntPreservesBottom: Boolean
  26. def toStringIsMonotone(a: F, b: F): Boolean
  27. def toStringIsSound(a: Double): Boolean
  28. def toStringPreservesBottom: Boolean