PolyhedraDatabase: Polyhedra database

PolyhedraDatabaseR Documentation

Polyhedra database

Description

Scrapes all polyhedra in data folder to save a representation which is accessible by the final users upon call to getPolyhedron().

Public fields

version

version of database file

polyhedra.rds.file

path of rds database file

sources.config

Sources configuration for scraping different sources

ledger

rr ledger of scraping process

logger

class logger

Methods

Public methods


Method new()

Create a new PolyhedraDatabase object.

Usage
PolyhedraDatabase$new()
Returns

A new 'PolyhedraDatabase' object.


Method getVersion()

get the version of the current object.

Usage
PolyhedraDatabase$getVersion()
Returns

Database version


Method configPolyhedraRDSPath()

sets the path of the RDS object

Usage
PolyhedraDatabase$configPolyhedraRDSPath()
Returns

Database version


Method existsSource()

Determines if the source exists on the database

Usage
PolyhedraDatabase$existsSource(source)
Arguments
source

source description

Returns

boolean value


Method addSourceConfig()

add source.config to the database

Usage
PolyhedraDatabase$addSourceConfig(source.config)
Arguments
source.config

SourceConfig object able to scrape source polyhedra definitions

Returns

PolyhedraDatabase object


Method existsPolyhedron()

Determines if the database includes a polyhedron which name matches the parameter value

Usage
PolyhedraDatabase$existsPolyhedron(source = "netlib", polyhedron.name)
Arguments
source

source description

polyhedron.name

polyhedron description

Returns

boolean value


Method getPolyhedraSourceDir()

gets polyhedra sources folder

Usage
PolyhedraDatabase$getPolyhedraSourceDir(source, create.dir = TRUE)
Arguments
source

source description

create.dir

if dir does not exists, create it

Returns

string with polyhedra sources path


Method getPolyhedronFilename()

gets the filename of the polyhedron matching parameter.

Usage
PolyhedraDatabase$getPolyhedronFilename(source, polyhedron.name, extension)
Arguments
source

source description

polyhedron.name

polyhedron description

extension

extension of the polyhedron filename

Returns

string with polyhedron filename


Method getPolyhedron()

gets polyhedron object which name matches the parameter value

Usage
PolyhedraDatabase$getPolyhedron(
  source = "netlib",
  polyhedron.name,
  strict = FALSE
)
Arguments
source

source description

polyhedron.name

polyhedron description

strict

halts execution if polyhedron not found

Returns

Polyhedron object


Method addPolyhedron()

add polyhedron object to the database

Usage
PolyhedraDatabase$addPolyhedron(
  source = "netlib",
  source.filename,
  polyhedron,
  overwrite = FALSE,
  save.on.change = FALSE
)
Arguments
source

source description

source.filename

filename of the polyhedron source definition

polyhedron

polyhedron object

overwrite

overwrite exiting definition

save.on.change

saves Database state after operation

Returns

Polyhedron object


Method configPolyhedraSource()

Process parameter filenames using source.config parameter

Usage
PolyhedraDatabase$configPolyhedraSource(
  source.config,
  source.filenames = NULL,
  max.quant = 0,
  save.on.change = FALSE
)
Arguments
source.config

source configuration for scraping files

source.filenames

filenames of the polyhedron source definition

max.quant

maximum filenames to process

save.on.change

saves Database state after operation

Returns

Modified 'PolyhedraDatabase' object.


Method saveRDS()

saveRDS

Usage
PolyhedraDatabase$saveRDS(save.on.change = TRUE)
Arguments
save.on.change

saves Database state after operation

Returns

saveRDS return status


Method cover()

Cover objects and applies covering.code parameter

Usage
PolyhedraDatabase$cover(
  mode,
  sources = names(self$sources.config),
  covering.code,
  polyhedra.names = NULL,
  max.quant = 0,
  save.on.change = FALSE,
  seed = NULL
)
Arguments
mode

covering mode. Available values are "scrape.queued", "scrape.retry","skipped", "test"

sources

sources names

covering.code

code for applying in covering

polyhedra.names

polyhedra names to cover (optional)

max.quant

maximum numbers of polyhedra to cover

save.on.change

saves Database state after operation

seed

seed for deterministic random generator

Returns

A list with resulting objects covered


Method scrape()

Scrape polyhedra queued sources

Usage
PolyhedraDatabase$scrape(
  mode = "scrape.queued",
  sources = names(self$sources.config),
  max.quant = 0,
  time2scrape.source = 30,
  save.on.change = FALSE,
  skip.still.queued = FALSE
)
Arguments
mode

covering mode. Available values are "scrape.queued", "scrape.retry","skipped", "test"

sources

sources names

max.quant

maximum numbers of polyhedra to cover

time2scrape.source

maximum time to spend scraping each source

save.on.change

saves Database state after operation

skip.still.queued

Flag unscraped files with status 'skipped“

covering.code

code for applying in covering

polyhedra.names

polyhedra names to cover (optional)

Returns

A list with resulting objects covered


Method testRR()

testRR

Usage
PolyhedraDatabase$testRR(sources = names(self$sources.config), max.quant = 0)
Arguments
sources

sources names

max.quant

maximum numbers of polyhedra to cover

Returns

A list with resulting objects tested


Method generateTestTasks()

generate Test tasks for selected polyhedra

Usage
PolyhedraDatabase$generateTestTasks(
  sources = names(self$sources.config),
  polyhedra.names = NULL,
  TestTaskClass,
  max.quant = 0
)
Arguments
sources

sources names

polyhedra.names

polyhedra names to cover (optional)

TestTaskClass

an R6 TestTaskClass class

max.quant

maximum numbers of polyhedra to cover

Returns

A list with resulting TestTasks generated


Method schedulePolyhedraSources()

Schedules polyhedra sources for scraping

Usage
PolyhedraDatabase$schedulePolyhedraSources(
  sources.config = getPackageEnvir(".available.sources"),
  source.filenames = NULL,
  max.quant = 0,
  save.on.change = FALSE
)
Arguments
sources.config

sources configurations for scraping files

source.filenames

filenames of the polyhedron source definition

max.quant

maximum filenames to process

save.on.change

saves Database state after operation

Returns

Modified 'PolyhedraDatabase' object.


Method getAvailableSources()

Returns available sources in current database

Usage
PolyhedraDatabase$getAvailableSources()
Returns

A vector with names of available sources


Method getAvailablePolyhedra()

Retrieves all polyhedron within the source those names match with search.string

Usage
PolyhedraDatabase$getAvailablePolyhedra(
  sources = self$getAvailableSources(),
  search.string = NULL,
  ignore.case = TRUE
)
Arguments
sources

sources names

search.string

string for matching polyhedron names

ignore.case

ignore case in search string

Returns

A list with resulting objects covered


Method clone()

The objects of this class are cloneable with this method.

Usage
PolyhedraDatabase$clone(deep = FALSE)
Arguments
deep

Whether to make a deep clone.


Rpolyhedra documentation built on Oct. 31, 2024, 1:08 a.m.