Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Data Structures | Public Member Functions | Properties
ASTMap Class Reference

Map from AST to AST. More...

+ Inheritance diagram for ASTMap:

Data Structures

class  DecRefQueue

Public Member Functions

bool Contains (AST k)
 Checks whether the map contains the key k .
AST Find (AST k)
 Finds the value associated with the key k .
void Insert (AST k, AST v)
 Stores or replaces a new key/value pair in the map.
void Erase (AST k)
 Erases the key k from the map.
void Reset ()
 Removes all keys from the map.
override string ToString ()
 Retrieves a string representation of the map.

Properties

uint Size [get]
 The size of the map.
ASTVector Keys [get]
 The keys stored in the map.

Detailed Description

Map from AST to AST.

Definition at line 29 of file ASTMap.cs.


Member Function Documentation

bool Contains ( AST  k) [inline]

Checks whether the map contains the key k .

Parameters:
kAn 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;
        }
void Erase ( AST  k) [inline]

Erases the key k from the map.

Parameters:
kAn AST

Definition at line 75 of file ASTMap.cs.

        {
            Contract.Requires(k != null);

            Native.Z3_ast_map_erase(Context.nCtx, NativeObject, k.NativeObject);
        }
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:
kAn 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));
        }
void Insert ( AST  k,
AST  v 
) [inline]

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

Parameters:
kThe key AST
vThe 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);
        }
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);
        }
override string ToString ( ) [inline]

Retrieves a string representation of the map.

Definition at line 112 of file ASTMap.cs.

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

Property Documentation

ASTVector Keys [get]

The keys stored in the map.

Definition at line 102 of file ASTMap.cs.

uint Size [get]

The size of the map.

Definition at line 94 of file ASTMap.cs.

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines