Gets polyhedra objects from text files of different sources, scheduling and scraping using predefined configurations.
scrapePolyhedra(
scrape.config,
source.filenames = NULL,
sources.config = getUserEnvir(".available.sources"),
logger = lgr
)
polyhedra db object
predefined configuration for scraping
if not null specify which source filenames to scrape
the sources that will be used by the function
logger for inheriting threshold from calling class/function