package z3

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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