C# Класс Microsoft.Z3.ASTMap

Наследование: Z3Object
Показать файл Открыть проект

Открытые методы

Метод Описание
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.

Приватные методы

Метод Описание
ASTMap ( Context ctx ) : System
ASTMap ( Context ctx, IntPtr obj ) : System
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Описание методов

Contains() публичный Метод

Checks whether the map contains the key k.
public Contains ( AST k ) : bool
k AST An AST
Результат bool

Erase() публичный Метод

Erases the key k from the map.
public Erase ( AST k ) : void
k AST An AST
Результат void

Find() публичный Метод

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
Результат AST

Insert() публичный Метод

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
Результат void

Reset() публичный Метод

Removes all keys from the map.
public Reset ( ) : void
Результат void

ToString() публичный Метод

Retrieves a string representation of the map.
public ToString ( ) : string
Результат string