Map from AST to AST.
More...
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
Checks whether the map contains the key k .
- Parameters:
-
- 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;
}
Erases the key k from the map.
- Parameters:
-
Definition at line 75 of file ASTMap.cs.
{
Contract.Requires(k != null);
Native.Z3_ast_map_erase(Context.nCtx, NativeObject, k.NativeObject);
}
Finds the value associated with the key k .
This function signs an error when k is not a key in the map.
- Parameters:
-
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));
}
Stores or replaces a new key/value pair in the map.
- Parameters:
-
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);
}
Removes all keys from the map.
Definition at line 85 of file ASTMap.cs.
{
Native.Z3_ast_map_reset(Context.nCtx, NativeObject);
}
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
The keys stored in the map.
Definition at line 102 of file ASTMap.cs.
The size of the map.
Definition at line 94 of file ASTMap.cs.