Method: Cudd::Interface::BDD#ite

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

#ite(f, g, h) ⇒ Object

See Also:

  • Cudd_bddIte


134
135
136
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 134

def ite(f, g, h)
  bdd Wrapper.bddIte(native_manager, f, g, h)
end