eof


Name:
eof - check eof status of a stream
Synopsis:
streamhandle eof -> streamhandle true  
-> streamhandle false
Description:
 
This function provides a direct interface to
the C++ stream::eof() member function.
Author:
Diesmann, Hehl  
FirstVersion:
19.4.1999  
SeeAlso: Source:
/home/graber/work-nest/nest-git/nest-simulator/lib/sli/typeinit.sli