package z3

  1. Overview
  2. Docs
val is_relation : Expr.expr -> bool
val is_store : Expr.expr -> bool
val is_empty : Expr.expr -> bool
val is_is_empty : Expr.expr -> bool
val is_join : Expr.expr -> bool
val is_union : Expr.expr -> bool
val is_widen : Expr.expr -> bool
val is_project : Expr.expr -> bool
val is_filter : Expr.expr -> bool
val is_negation_filter : Expr.expr -> bool
val is_rename : Expr.expr -> bool
val is_complement : Expr.expr -> bool
val is_select : Expr.expr -> bool
val is_clone : Expr.expr -> bool
val get_arity : Sort.sort -> int
val get_column_sorts : Sort.sort -> Sort.sort list