Module: Cudd::Interface::Root

Included in:
Manager
Defined in:
lib/cudd-rb/interfaces/root.rb

Instance Method Summary collapse

Instance Method Details

#interface(name) ⇒ Object

Returns an extension interface for a given name.



10
11
12
13
14
15
16
17
 
# File 'lib/cudd-rb/interfaces/root.rb', line 10

def interface(name)
  return root_manager.interface(name) unless root_manager?
  return self if name == :Root
  interfaces[name] ||= begin
    m = Manager.new(options, native_manager, root_manager)
    m.extend Interface.const_get(name)
  end
end

#root_manager? ⇒ Boolean

Returns:

  • (Boolean) 


5
6
7
 
# File 'lib/cudd-rb/interfaces/root.rb', line 5

def root_manager?
  root_manager == self
end