Method: Cudd::BDD#manager

Defined in:
lib/cudd-rb/bdd.rb

#manager ⇒ Object (readonly)

Returns the value of attribute manager.



17
18
19
 
# File 'lib/cudd-rb/bdd.rb', line 17

def manager
  @manager
end