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 belongs

    Declaration

    Swift

    public let context: Z3Context

  • Return Z3SymbolKind.intSymbol if the symbol was constructed using makeIntSymbol, and Z3SymbolKind.stringSymbol if the symbol was constructed using makeStringSymbol.

    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 }