z3.scala

Z3DeclKind

object Z3DeclKind extends Enumeration

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

Type Members

  1. type Z3DeclKind = Value

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. val OpANum : Value

  7. val OpAdd : Value

  8. val OpAnd : Value

  9. val OpArrayDefault : Value

  10. val OpArrayMap : Value

  11. val OpAsArray : Value

  12. val OpConstArray : Value

  13. val OpDistinct : Value

  14. val OpDiv : Value

  15. val OpEq : Value

  16. val OpFalse : Value

  17. val OpGE : Value

  18. val OpGT : Value

  19. val OpIDiv : Value

  20. val OpITE : Value

  21. val OpIff : Value

  22. val OpImplies : Value

  23. val OpIsInt : Value

  24. val OpLE : Value

  25. val OpLT : Value

  26. val OpMod : Value

  27. val OpMul : Value

  28. val OpNot : Value

  29. val OpOr : Value

  30. val OpRem : Value

  31. val OpSelect : Value

  32. val OpSetComplement : Value

  33. val OpSetDifference : Value

  34. val OpSetIntersect : Value

  35. val OpSetSubset : Value

  36. val OpSetUnion : Value

  37. val OpStore : Value

  38. val OpSub : Value

  39. val OpToInt : Value

  40. val OpToReal : Value

  41. val OpTrue : Value

  42. val OpUMinus : Value

  43. val OpUninterpreted : Value

  44. val OpXor : Value

  45. val Other : Value

  46. def Value (i: Int, name: String): Value

    Attributes
    protected final
    Definition Classes
    Enumeration

  47. def Value (name: String): Value

    Attributes
    protected final
    Definition Classes
    Enumeration

  48. def Value (i: Int): Value

    Attributes
    protected final
    Definition Classes
    Enumeration

  49. def Value : Value

    Attributes
    protected final
    Definition Classes
    Enumeration

  50. def apply (x: Int): Value

    Attributes
    final
    Definition Classes
    Enumeration

  51. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  52. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  53. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  54. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  55. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  56. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  57. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  58. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  59. def maxId : Int

    Attributes
    final
    Definition Classes
    Enumeration

  60. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  61. var nextId : Int

    Attributes
    protected
    Definition Classes
    Enumeration

  62. var nextName : Iterator[String]

    Attributes
    protected
    Definition Classes
    Enumeration

  63. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  64. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  65. def readResolve (): AnyRef

    Attributes
    protected
    Definition Classes
    Enumeration

  66. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  67. def toString (): String

    Definition Classes
    Enumeration → AnyRef → Any

  68. def values : ValueSet

    Definition Classes
    Enumeration

  69. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  71. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  72. def withName (s: String): Value

    Attributes
    final
    Definition Classes
    Enumeration

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any