C# Class Microsoft.Z3.ASTMap

Inheritance: Z3Object
Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode 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

Méthode Description
ASTMap ( Context ctx ) : System
ASTMap ( Context ctx, IntPtr obj ) : System
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Method Details

Contains() public méthode

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

Erase() public méthode

Erases the key k from the map.
public Erase ( AST k ) : void
k AST An AST
Résultat void

Find() public méthode

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
Résultat AST

Insert() public méthode

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
Résultat void

Reset() public méthode

Removes all keys from the map.
public Reset ( ) : void
Résultat void

ToString() public méthode

Retrieves a string representation of the map.
public ToString ( ) : string
Résultat string