C# Class Microsoft.Z3.Symbol

Inheritance: Z3Object

Show file Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method	Description
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.

Protected Methods

Method	Description
Symbol ( Context ctx, IntPtr obj ) : System	Symbol constructor

Private Methods

Method	Description
Create ( Context ctx, IntPtr obj ) : Symbol

Method Details

IsIntSymbol() public method

Indicates whether the symbol is of Int kind

public IsIntSymbol ( ) : bool
return	bool

IsStringSymbol() public method

Indicates whether the symbol is of string kind.

public IsStringSymbol ( ) : bool
return	bool

Symbol() protected method

Symbol constructor

protected Symbol ( Context ctx, IntPtr obj ) : System
ctx	Context
obj	System.IntPtr
return	System

ToString() public method

A string representation of the symbol.

public ToString ( ) : string
return	string