mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 09:56:15 +00:00
Code Activity

Fix for ast_map in ML API

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-02 15:52:33 +01:00
parent 0a95df8960
commit 18a0314f6b
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/ml/z3.ml
View file

@ -225,7 +225,7 @@ sig
val erase : ast_map -> ast -> unit val erase : ast_map -> ast -> unit
val reset : ast_map -> unit val reset : ast_map -> unit
val get_size : ast_map -> int val get_size : ast_map -> int
val get_keys : ast_map -> Expr.expr list val get_keys : ast_map -> ast list
val to_string : ast_map -> string val to_string : ast_map -> string
end end
val hash : ast -> int val hash : ast -> int
@ -352,7 +352,7 @@ end = struct
let get_keys ( x : ast_map ) = let get_keys ( x : ast_map ) =
let av = ASTVector.create (z3obj_gc x) (Z3native.ast_map_keys (z3obj_gnc x) (z3obj_gno x)) in let av = ASTVector.create (z3obj_gc x) (Z3native.ast_map_keys (z3obj_gnc x) (z3obj_gno x)) in
(ASTVector.to_expr_list av) (ASTVector.to_list av)
let to_string ( x : ast_map ) = let to_string ( x : ast_map ) =
Z3native.ast_map_to_string (z3obj_gnc x) (z3obj_gno x) Z3native.ast_map_to_string (z3obj_gnc x) (z3obj_gno x)

2
src/api/ml/z3.mli
View file

@ -195,7 +195,7 @@ sig
val get_size : ast_map -> int val get_size : ast_map -> int
(** The keys stored in the map. *) (** The keys stored in the map. *)
val get_keys : ast_map -> Expr.expr list val get_keys : ast_map -> ast list
(** Retrieves a string representation of the map.*) (** Retrieves a string representation of the map.*)
val to_string : ast_map -> string val to_string : ast_map -> string