C# Class Microsoft.Z3.ASTMap

Inheritance: Z3Object
Show file Open project: sslab-gatech/juxta

Public Methods

Method Description
Contains ( AST k ) : bool

Checks whether the map contains the key k.
Erase ( AST k ) : void

Erases the key k from the map.
Find ( AST k ) : AST

Finds the value associated with the key k.

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

Insert ( AST k, AST v ) : void

Stores or replaces a new key/value pair in the map.
Reset ( ) : void

Removes all keys from the map.
ToString ( ) : string

Retrieves a string representation of the map.

Private Methods

Method Description
ASTMap ( Context ctx ) : System
ASTMap ( Context ctx, IntPtr obj ) : System
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Method Details

Contains() public method

Checks whether the map contains the key k.
public Contains ( AST k ) : bool
k AST An AST
return bool

Erase() public method

Erases the key k from the map.
public Erase ( AST k ) : void
k AST An AST
return void

Find() public method

Finds the value associated with the key k.
This function signs an error when k is not a key in the map.
public Find ( AST k ) : AST
k AST An AST
return AST

Insert() public method

Stores or replaces a new key/value pair in the map.
public Insert ( AST k, AST v ) : void
k AST The key AST
v AST The value AST
return void

Reset() public method

Removes all keys from the map.
public Reset ( ) : void
return void

ToString() public method

Retrieves a string representation of the map.
public ToString ( ) : string
return string