Scrape polyhedra objects

Source: R/public-lib.R

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")
)

Arguments

scrape.config

predefined configuration for scraping
source.filenames

if not null specify which source filenames to scrape
sources.config

the sources that will be used by the function

Value

polyhedra db object