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

type goal

val get_precision : goal -> Z3enums.goal_prec

val is_precise : goal -> bool

val is_underapproximation : goal -> bool

val is_overapproximation : goal -> bool

val is_garbage : goal -> bool

val add : goal -> Expr.expr list -> unit

val is_inconsistent : goal -> bool

val get_depth : goal -> int

val reset : goal -> unit

val get_size : goal -> int

val get_formulas : goal -> Expr.expr list

val get_num_exprs : goal -> int

val is_decided_sat : goal -> bool

val is_decided_unsat : goal -> bool

val translate : goal -> context -> goal

val simplify : goal -> Params.params option -> goal

val mk_goal : context -> bool -> bool -> bool -> goal

val to_string : goal -> string

val as_expr : goal -> Expr.expr