Z3Symbol
public class Z3Symbol
Lisp-like symbol used to name types, constants, and functions. A symbol can be created using string or integers.
-
The context this
Z3Symbol
belongsDeclaration
Swift
public let context: Z3Context
-
Return
Z3SymbolKind.intSymbol
if the symbol was constructed usingmakeIntSymbol
, andZ3SymbolKind.stringSymbol
if the symbol was constructed usingmakeStringSymbol
.Declaration
Swift
public var symbolKind: Z3SymbolKind { get }
-
Return the symbol int value.
Precondition
symbolKind == Z3SymbolKind.intSymbol
Declaration
Swift
public var symbolInt: Int32 { get }
-
Return the symbol name.
Precondition
symbolKind == Z3SymbolKind.stringSymbol
Seealso
makeStringSymbol
Declaration
Swift
public var symbolString: String { get }