get_region_df.Rd
Returns a dataframe with region order, region name, and region id
get_region_df(file, setup_name = "DefaultSetup")
name of file
value of name attribute of <Setup>