ATerm++

PrevUpHomeNext

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.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext