Method: Cudd::Interface::BDD#one_cube

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

#one_cube(bdd) ⇒ Object

Returns the first cube satisfying ‘bdd`.



290
291
292
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 290

def one_cube(bdd)
  each_cube(bdd).first
end