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

Наследование: Z3Object

Показать файл Открыть проект Примеры использования класса

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

Метод	Описание
IsIntSymbol ( ) : bool	Indicates whether the symbol is of Int kind
IsStringSymbol ( ) : bool	Indicates whether the symbol is of string kind.
ToString ( ) : string	A string representation of the symbol.

Защищенные методы

Метод	Описание
Symbol ( Context ctx, IntPtr obj ) : System	Symbol constructor

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

Метод	Описание
Create ( Context ctx, IntPtr obj ) : Symbol

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

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

Indicates whether the symbol is of Int kind

public IsIntSymbol ( ) : bool
Результат	bool

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

Indicates whether the symbol is of string kind.

public IsStringSymbol ( ) : bool
Результат	bool

Symbol() защищенный Метод

Symbol constructor

protected Symbol ( Context ctx, IntPtr obj ) : System
ctx	Context
obj	System.IntPtr
Результат	System

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

A string representation of the symbol.

public ToString ( ) : string
Результат	string