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.
