Packages

object BinaryOperator extends Enumeration

Binary operations that should be supported by lattices

Linear Supertypes
Enumeration, Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BinaryOperator
  2. Enumeration
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class Value extends Ordered[Value] with Serializable
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()
  2. class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable
    Definition Classes
    Enumeration

Value Members

  1. val Div: Value
  2. val Eq: Value
  3. val Lt: Value
  4. val Minus: Value
  5. val Modulo: Value
  6. val NumEq: Value
  7. val Plus: Value
  8. val Quotient: Value
  9. val Remainder: Value
  10. val StringAppend: Value
  11. val StringLt: Value
  12. val Times: Value
  13. final def apply(x: Int): Value
    Definition Classes
    Enumeration
  14. final def maxId: Int
    Definition Classes
    Enumeration
  15. def toString(): String
    Definition Classes
    Enumeration → AnyRef → Any
  16. def values: ValueSet
    Definition Classes
    Enumeration
  17. final def withName(s: String): Value
    Definition Classes
    Enumeration