ASTMap Class Reference

Map from AST to AST More...

Inheritance diagram for ASTMap:

Public Member Functions
bool	Contains (AST k)
	Checks whether the map contains the key k . More...
AST	Find (AST k)
	Finds the value associated with the key k . More...
void	Insert (AST k, AST v)
	Stores or replaces a new key/value pair in the map. More...
void	Erase (AST k)
	Erases the key k from the map. More...
void	Reset ()
	Removes all keys from the map. More...
override string	ToString ()
	Retrieves a string representation of the map. More...
Public Member Functions inherited from Z3Object
void	Dispose ()
	Disposes of the underlying native Z3 object. More...

Properties
uint	Size [get]
	The size of the map More...
AST []	Keys [get]
	The keys stored in the map. More...

Detailed Description

Map from AST to AST

Definition at line 29 of file ASTMap.cs.

Member Function Documentation

Contains()

bool Contains ( AST  k )

inline

Checks whether the map contains the key k .

Parameters

k

An AST

Returns

True if k is a key in the map, false otherwise.

Definition at line 36 of file ASTMap.cs.

        {
            Contract.Requires(k != null);

            return Native.Z3_ast_map_contains(Context.nCtx, NativeObject, k.NativeObject) != 0;
        }

Erase()

void Erase ( AST  k )

inline

Erases the key k from the map.

Parameters

k

An AST

Definition at line 75 of file ASTMap.cs.

        {
            Contract.Requires(k != null);

            Native.Z3_ast_map_erase(Context.nCtx, NativeObject, k.NativeObject);
        }

Find()

AST Find ( AST  k )

inline

Finds the value associated with the key k .

This function signs an error when k is not a key in the map.

Parameters

k

An AST

Definition at line 50 of file ASTMap.cs.

        {
            Contract.Requires(k != null);
            Contract.Ensures(Contract.Result<AST>() != null);

            return new AST(Context, Native.Z3_ast_map_find(Context.nCtx, NativeObject, k.NativeObject));
        }

Insert()

void Insert ( AST  k, AST  v  )

inline

Stores or replaces a new key/value pair in the map.

Parameters

k	The key AST
v	The value AST

Definition at line 63 of file ASTMap.cs.

        {
            Contract.Requires(k != null);
            Contract.Requires(v != null);

            Native.Z3_ast_map_insert(Context.nCtx, NativeObject, k.NativeObject, v.NativeObject);
        }

Reset()

void Reset ( )

inline

Removes all keys from the map.

Definition at line 85 of file ASTMap.cs.

        {
            Native.Z3_ast_map_reset(Context.nCtx, NativeObject);
        }

ToString()

override string ToString ( )

inline

Retrieves a string representation of the map.

Definition at line 113 of file ASTMap.cs.

        {
            return Native.Z3_ast_map_to_string(Context.nCtx, NativeObject);
        }

Property Documentation

Keys

AST [] Keys

get

The keys stored in the map.

Definition at line 102 of file ASTMap.cs.

        {
            get
            {
                ASTVector res = new ASTVector(Context, Native.Z3_ast_map_keys(Context.nCtx, NativeObject));
                return res.ToArray();
            }
        }

Size

uint Size

get

The size of the map

Definition at line 94 of file ASTMap.cs.

        {
            get { return Native.Z3_ast_map_size(Context.nCtx, NativeObject); }
        }