class

Z3::Symbol

Inherits Reference < Object

Class methods

from_int(c : Context, i : Int32)
Source
from_string(c : Context, name : String)
Source

Instance methods

to_unsafe
Source