probability property

double probability
getter/setter pair

Implementation

double probability;