Uses of Class
at.jku.ssw.fp.sect11_3.check4j.Property
-
Packages that use Property Package Description at.jku.ssw.fp.sect11_3.check4j -
-
Uses of Property in at.jku.ssw.fp.sect11_3.check4j
Methods in at.jku.ssw.fp.sect11_3.check4j that return Property Modifier and Type Method Description static <A> Property<A>
Property. forAll(Gen<A> generator, Predicate<? super A> predicate)
Creates a property object from a generator and predicate.static <A> Property<A>
Property. forAll(Gen<A> generator, Predicate<? super A> predicate, Shrinker<A> shrinker)
Creates a property object from a generator, predicate and shrinker.
-