Syclop uses a CoverageGrid to estimate coverage in its assigned Decomposition. The CoverageGrid should have finer resolution than the Decomposition. More...
Public Member Functions | |
CoverageGrid (const int len, const DecompositionPtr &d) | |
virtual void | project (const base::State *s, std::vector< double > &coord) const |
Since the CoverageGrid is defined in the same space as the Decomposition, it uses the Decomposition's projection function. | |
virtual void | sampleFromRegion (const int rid, const base::StateSamplerPtr &sampler, base::State *s) |
Syclop will not sample from the CoverageGrid. | |
Protected Attributes | |
const DecompositionPtr & | decomp |
Syclop uses a CoverageGrid to estimate coverage in its assigned Decomposition. The CoverageGrid should have finer resolution than the Decomposition.