Method: Cudd::Interface::BDD#not

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

#not(f) ⇒ Object

See Also:

  • Cudd_bddNot


139
140
141
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 139

def not(f)
  bdd Wrapper.bddNot(native_manager, f)
end