Z3
 
Loading...
Searching...
No Matches
z3_ast_containers.h File Reference

Go to the source code of this file.

Functions

AST vectors
Z3_ast_vector Z3_API Z3_mk_ast_vector (Z3_context c)
 Return an empty AST vector.
 
void Z3_API Z3_ast_vector_inc_ref (Z3_context c, Z3_ast_vector v)
 Increment the reference counter of the given AST vector.
 
void Z3_API Z3_ast_vector_dec_ref (Z3_context c, Z3_ast_vector v)
 Decrement the reference counter of the given AST vector.
 
unsigned Z3_API Z3_ast_vector_size (Z3_context c, Z3_ast_vector v)
 Return the size of the given AST vector.
 
Z3_ast Z3_API Z3_ast_vector_get (Z3_context c, Z3_ast_vector v, unsigned i)
 Return the AST at position i in the AST vector v.
 
void Z3_API Z3_ast_vector_set (Z3_context c, Z3_ast_vector v, unsigned i, Z3_ast a)
 Update position i of the AST vector v with the AST a.
 
void Z3_API Z3_ast_vector_resize (Z3_context c, Z3_ast_vector v, unsigned n)
 Resize the AST vector v.
 
void Z3_API Z3_ast_vector_push (Z3_context c, Z3_ast_vector v, Z3_ast a)
 Add the AST a in the end of the AST vector v. The size of v is increased by one.
 
Z3_ast_vector Z3_API Z3_ast_vector_translate (Z3_context s, Z3_ast_vector v, Z3_context t)
 Translate the AST vector v from context s into an AST vector in context t.
 
Z3_string Z3_API Z3_ast_vector_to_string (Z3_context c, Z3_ast_vector v)
 Convert AST vector into a string.
 
AST maps
Z3_ast_map Z3_API Z3_mk_ast_map (Z3_context c)
 Return an empty mapping from AST to AST.
 
void Z3_API Z3_ast_map_inc_ref (Z3_context c, Z3_ast_map m)
 Increment the reference counter of the given AST map.
 
void Z3_API Z3_ast_map_dec_ref (Z3_context c, Z3_ast_map m)
 Decrement the reference counter of the given AST map.
 
bool Z3_API Z3_ast_map_contains (Z3_context c, Z3_ast_map m, Z3_ast k)
 Return true if the map m contains the AST key k.
 
Z3_ast Z3_API Z3_ast_map_find (Z3_context c, Z3_ast_map m, Z3_ast k)
 Return the value associated with the key k.
 
void Z3_API Z3_ast_map_insert (Z3_context c, Z3_ast_map m, Z3_ast k, Z3_ast v)
 Store/Replace a new key, value pair in the given map.
 
void Z3_API Z3_ast_map_erase (Z3_context c, Z3_ast_map m, Z3_ast k)
 Erase a key from the map.
 
void Z3_API Z3_ast_map_reset (Z3_context c, Z3_ast_map m)
 Remove all keys from the given map.
 
unsigned Z3_API Z3_ast_map_size (Z3_context c, Z3_ast_map m)
 Return the size of the given map.
 
Z3_ast_vector Z3_API Z3_ast_map_keys (Z3_context c, Z3_ast_map m)
 Return the keys stored in the given map.
 
Z3_string Z3_API Z3_ast_map_to_string (Z3_context c, Z3_ast_map m)
 Convert the given map into a string.