var NAVTREEINDEX0 =
{
"index.html":[],
"index.html":[0],
"index.html#CodingRules":[0,1],
"index.html#License":[0,2],
"index.html#Motivation":[0,0],
"pages.html":[]
};