Z3FuncDecl

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. def apply (args: Z3AST*): Z3AST

7. val arity : Int

8. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

9. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

10. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

11. def equals (that: Any): Boolean

    Definition Classes

    Z3FuncDecl → AnyRef → Any

12. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef → Any

14. def getDomain (i: Int): Z3Sort

15. def getDomainSize : Int

16. lazy val getName : Z3Symbol

17. lazy val getRange : Z3Sort

18. def hashCode (): Int

    Definition Classes

    Z3FuncDecl → AnyRef → Any

19. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

20. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

21. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

22. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

23. val ptr : Long

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

    Attributes

    final

    Definition Classes

    AnyRef

25. def toString (): String

    Definition Classes

    Z3FuncDecl → AnyRef → Any

26. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

28. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()