margin property

double margin

Best score minus the runner-up's: how clearly the top candidate won. double.infinity with a single candidate, 0 with none.

Implementation

final double margin;