Method: OCL::Forall#initialize_iterator

Defined in:
lib/dbc/ocl.rb

#initialize_iterator(result, indent_str) ⇒ Object 



340
341
342
 
# File 'lib/dbc/ocl.rb', line 340

def initialize_iterator(result, indent_str)
  '' << indent_str << "#{result} = 1;\n"
end