@NamedParameter(doc="the probability with which a crash will occur.", default_value="0.1") public final class CrashProbability extends Object implements Name<Double>
public static final double DEFAULT_VALUE
Copyright © 2017 The Apache Software Foundation. All rights reserved.