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