Z3ErrorCode
extension Z3ErrorCode: Error
-
No error.
Declaration
Swift
static let ok: Z3_error_code
-
User tried to build an invalid (type incorrect) AST.
Declaration
Swift
static let sortError: Z3_error_code
-
Index out of bounds.
Declaration
Swift
static let iob: Z3_error_code
-
Invalid argument was provided.
Declaration
Swift
static let invalidArg: Z3_error_code
-
An error occurred when parsing a string or file.
Declaration
Swift
static let parserError: Z3_error_code
-
Parser output is not available, that is, user didn’t invoke #Z3_parse_smtlib2_string or #Z3_parse_smtlib2_file.
Declaration
Swift
static let noParser: Z3_error_code
-
Invalid pattern was used to build a quantifier.
Declaration
Swift
static let invalidPattern: Z3_error_code
-
A memory allocation failure was encountered.
Declaration
Swift
static let memoutFail: Z3_error_code
-
Declaration
Swift
static let fileAccessError: Z3_error_code
-
An error internal to Z3 occurred.
Declaration
Swift
static let internalFatal: Z3_error_code
-
API call is invalid in the current state.
Declaration
Swift
static let invalidUsage: Z3_error_code
-
Trying to decrement the reference counter of an AST that was deleted or the reference counter was not initialized with #Z3_inc_ref.
Declaration
Swift
static let decRefError: Z3_error_code
-
Internal Z3 exception. Additional details can be retrieved using #Z3_get_error_msg.
Declaration
Swift
static let exception: Z3_error_code