Swept

constructor(transitioned: List<Proposition>, revived: List<Proposition>, pruned: List<Proposition>, skipped: Int)