Method: Cudd::Interface::BDD#new_vars

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

#new_vars(first, *args) ⇒ Object

Creates new variables and returns them as an Array.

Example:

x, y, z = manager.new_vars(3)
x, y, z = manager.new_vars(:x, :y, :z)



104
105
106
107
108
109
110
111
112
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 104

def new_vars(first, *args)
  _, first = args.unshift(first), args unless args.empty?
  case first
  when Integer    then (0...first).map{ new_var }
  when Enumerable then first.map{|x| new_var(x) }
  else
    [ new_var(first) ]
  end
end