Class: Z3::Context

Inherits:

Object

• Object
• Z3::Context

Defined in:

lib/z3/context.rb

Instance Attribute Summary

• #_context ⇒ Object readonly

  Returns the value of attribute _context.

Class Method Summary

• .instance ⇒ Object

Instance Method Summary

• #initialize ⇒ Context constructor

  A new instance of Context.

Constructor Details

#initialize ⇒ Context

Returns a new instance of Context.

# File 'lib/z3/context.rb', line 4

def initialize
  @_context = LowLevel.mk_context
end

Instance Attribute Details

#_context ⇒ Object (readonly)

Returns the value of attribute _context.

# File 'lib/z3/context.rb', line 3

def _context
  @_context
end

Class Method Details

.instance ⇒ Object

# File 'lib/z3/context.rb', line 8

def self.instance
  @instance ||= new
end