Class Hierarchy
- java.lang.Object
- at.jku.ssw.fp.sect11_3.check4j.Demo2_Checks
- at.jku.ssw.fp.sect11_3.check4j.Demo3_ChecksAndShrinks
- at.jku.ssw.fp.sect11_3.check4j.Gens
- at.jku.ssw.fp.sect11_3.check4j.Property<A>
- at.jku.ssw.fp.sect11_3.check4j.Result<A>
- at.jku.ssw.fp.sect11_3.check4j.Shrinkers