Function init
genspect::init —
Synopsis
void init(int argc, char * argv, aterm & bottom_of_stack);
Description
Initialise the ATerm++ Library. This call has only effect if the symbol ATERM_USER_INITIALIZATION is defined. See the section about initialization.