-
public Coverage copy ()
Copy an existing Coverage. (This function may now be
unnecessary since we refcount the structure. File a bug if you use it.)
-
public CoverageLevel get (int index_)
Determine whether a particular index is covered by coverage
-
public void max (Coverage other)
Set the coverage for each index in coverage to be the max (better) value of the current
coverage for the index and the coverage for the corresponding index in other.
-
public void set (int index_, CoverageLevel level)
Modify a particular index within coverage
-
public void to_bytes (out uchar[][] bytes)
Convert a Coverage structure into a flat binary format