var searchData= [ ['type_20definition_20constants',['Type definition constants',['../group__coltypes.html',1,'']]], ['tools_20interface',['TOOLS interface',['../group__tools.html',1,'']]] ];
var searchData= [ ['type_20definition_20constants',['Type definition constants',['../group__coltypes.html',1,'']]], ['tools_20interface',['TOOLS interface',['../group__tools.html',1,'']]] ];