Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Properties
StringSymbol Class Reference

Named symbols More...

+ Inheritance diagram for StringSymbol:

Properties

string String [get]
 The string value of the symbol.
 
- Properties inherited from Symbol
Z3_symbol_kind Kind [get]
 The kind of the symbol (int or string)
 

Additional Inherited Members

- Public Member Functions inherited from Symbol
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 inherited from Symbol
 Symbol (Context ctx, IntPtr obj)
 Symbol constructor
 

Detailed Description

Named symbols

Definition at line 141 of file Symbol.cs.

Property Documentation

string String
get

The string value of the symbol.

Throws an exception if the symbol is not of string kind.

Definition at line 148 of file Symbol.cs.