Add FinalState(fs, cut) augmenting constructor, and PrevFS projection machinery. Validated for a abscharge > 0 cut.
Description
Description
Details
Details
- Provenance
buckley Authored on - Parents
- rRIVETHG817ea3b8cfb8: Add hasProjection() methods to ProjectionHandler and ProjectionApplier.
- Branches
- Unknown
- Tags