Class Z3Error

Used to create a Real constant

const x = from({ numerator: 1, denominator: 3 })

x
// 1/3
isReal(x)
// true
isRealVal(x)
// true
x.asNumber()
// 0.3333333333333333

See

Context.from

Hierarchy (View Summary)

Constructors

constructor

Properties

message name stack? prepareStackTrace? stackTraceLimit

Methods

captureStackTrace

Constructors

constructor

  • new Z3Error(message?: string): Z3Error

  • Parameters

    • Optionalmessage: string

    Returns Z3Error

Properties

message

message: string

name

name: string

Optionalstack

stack?: string

Static OptionalprepareStackTrace

prepareStackTrace?: (err: Error, stackTraces: CallSite[]) => any

Optional override for formatting stack traces

See

https://v8.dev/docs/stack-trace-api#customizing-stack-traces

StaticstackTraceLimit

stackTraceLimit: number

Methods

StaticcaptureStackTrace

  • captureStackTrace(targetObject: object, constructorOpt?: Function): void

  • Create .stack property on a target object

    Parameters

    • targetObject: object
    • OptionalconstructorOpt: Function

    Returns void

Settings

Member Visibility

On This Page

Constructors
Properties
Methods