gulps.analysis.coverage.SentenceCoverage

class gulps.analysis.coverage.SentenceCoverage(cost, gates, region, fresh_mass)[source]

Bases: object

A gate sentence, its reachable region, and its newly covered Haar mass.

Parameters:

  • cost (float) – The cost of the sentence.

  • gates (tuple[Gate, ...]) – The sentence’s gates, in order.

  • region (ReachableRegion) – One orientation of the sentence’s reach; region.rho is the other.

  • fresh_mass (float | None) – The Haar fraction this sentence is the first to reach, or None when earlier sentences already cover its region.

property names: tuple[str, ...]

The gates’ names.