Class: Z3::Context

Inherits:

Object

Object
Z3::Context

Defined in:: lib/z3/context.rb

Instance Attribute Summary collapse

#_context ⇒ Object readonly

Returns the value of attribute _context.

Class Method Summary collapse

.instance ⇒ Object

Instance Method Summary collapse

#initialize ⇒ Context constructor

A new instance of Context.

Constructor Details

#initialize ⇒ `Context`

Returns a new instance of Context.



4
5
6

# 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.



3
4
5

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

def _context
  @_context
end

Class Method Details

.instance ⇒ `Object`



8
9
10

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

def self.instance
  @instance ||= new
end