Uses of Class
proper.util.ID

Packages that use ID

proper.imp

Contains all the classes concerning the import of data, i.e.

Uses of ID in proper.imp

Methods in proper.imp with parameters of type ID

void	ParserInterface.setID(ID id) sets the ID generator
void	Parser.setID(ID id) sets the ID-generator