Packages

c

z3.scala

Z3Optimizer

class Z3Optimizer extends Z3Object

Linear Supertypes
Z3Object, Z3Pointer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Z3Optimizer
  2. Z3Object
  3. Z3Pointer
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Handle extends AnyRef

Value Members

  1. def assertCnstr(ast: Z3AST, weight: Int, group: String): Handle
  2. def assertCnstr(ast: Z3AST, weight: Int): Handle
  3. def assertCnstr(ast: Z3AST): Unit
  4. def check(): Option[Boolean]
  5. val context: Z3Context
    Definition Classes
    Z3Optimizer → Z3Object
  6. def decRef(): Unit
    Definition Classes
    Z3Optimizer → Z3Object
  7. def equals(that: Any): Boolean
    Definition Classes
    Z3Optimizer → AnyRef → Any
  8. def getAssertions(): Z3ASTVector
  9. def getModel(): Z3Model
  10. def getReasonUnknown(): String
  11. def incRef(): Unit
    Definition Classes
    Z3Optimizer → Z3Object
  12. def maximize(ast: Z3AST): Int
  13. def minimize(ast: Z3AST): Int
  14. def pop(): Unit
  15. val ptr: Long
    Definition Classes
    Z3Optimizer → Z3Object → Z3Pointer
  16. def push(): Unit
  17. def set(params: Map[String, Any]): Unit
  18. def toString(): String
    Definition Classes
    Z3Optimizer → AnyRef → Any