Symbols are used to name several term and type constructors. More...
Public Member Functions | |
bool | IsIntSymbol () |
Indicates whether the symbol is of Int kind. | |
bool | IsStringSymbol () |
Indicates whether the symbol is of string kind. | |
override string | ToString () |
A string representation of the symbol. | |
Protected Member Functions | |
internal | Symbol (Context ctx, IntPtr obj) |
Symbol constructor. | |
Properties | |
Z3_symbol_kind | Kind [get] |
The kind of the symbol (int or string) |
Symbols are used to name several term and type constructors.
bool IsIntSymbol | ( | ) | [inline] |
Indicates whether the symbol is of Int kind.
Definition at line 43 of file Symbol.cs.
{ return Kind == Z3_symbol_kind.Z3_INT_SYMBOL; }
bool IsStringSymbol | ( | ) | [inline] |
Indicates whether the symbol is of string kind.
Definition at line 51 of file Symbol.cs.
{ return Kind == Z3_symbol_kind.Z3_STRING_SYMBOL; }
override string ToString | ( | ) | [inline] |
A string representation of the symbol.
Definition at line 59 of file Symbol.cs.
{ if (IsIntSymbol()) return ((IntSymbol)this).Int.ToString(); else if (IsStringSymbol()) return ((StringSymbol)this).String; else throw new Z3Exception("Unknown symbol kind encountered"); }
Z3_symbol_kind Kind [get, protected] |