class Z3::Context
Attributes
_context[R]
Public Class Methods
instance()
click to toggle source
# File lib/z3/context.rb, line 8 def self.instance @instance ||= new end
new()
click to toggle source
# File lib/z3/context.rb, line 4 def initialize @_context = LowLevel.mk_context end