net.jqwik.engine.properties

Interfaces

• ArbitraryResolver
• CheckedFunction
• DataResolver
• PropertyCheckResult
• ShrinkablesGenerator

Classes

• CheckResultReportEntry
• DataBasedShrinkablesGenerator
• DefaultArbitraries
• ExhaustiveShrinkablesGenerator
• GenericProperty
• MaxTriesLoop
• PropertyCheckResult.ResultBase
• PropertyMethodArbitraryResolver
• PropertyMethodDataResolver
• RandomizedShrinkablesGenerator
• RegisteredArbitraryConfigurer
• RegisteredArbitraryResolver
• SampleOnlyShrinkablesGenerator
• SourceOfRandomness
• StatisticsCollectorImpl

Enums

• PropertyCheckResult.Status

Exceptions

• IncompatibleDataException