Method: Cudd::BDD#manager

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

#managerObject (readonly)

Returns the value of attribute manager.



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

def manager
  @manager
end