DEFAULT_SIZE, DEFAULT_TRIES, RNG
|Modifier and Type||Method and Description|
Checks this property.
Returns an implication which composes this Property as pre-condition and a given post-condition.
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Checkable implies(CheckedFunction4<T1,T2,T3,T4,Boolean> postcondition)
postcondition- The postcondition of this implication
public CheckResult check(Random random, int size, int tries)
random- An implementation of
size- A (not necessarily positive) size hint.
tries- A non-negative number of tries to falsify the given property.
Copyright © 2017. All Rights Reserved.