C# 클래스 Microsoft.Z3.ASTMap

상속: Z3Object
파일 보기 프로젝트 열기: sslab-gatech/juxta

공개 메소드들

메소드 설명
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