void change_mainf (int)

this function changes the mainframe number that the user is currently looking at

Documentation

this function changes the mainframe number that the user is currently looking at. The paramter (int) is the mainframe id that you want to change to.

alphabetic index hierarchy of classes

this page has been generated automatically by doc++

(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de