Index

_

__bool__() (pyquchk.checker.Result method)

__nonzero__() (pyquchk.checker.Result method)

A

Arbitrary (class in pyquchk.arbitraries.arbitrary) arbitrary_cls (pyquchk.arbitraries.arbitrary.ArbitraryMeta attribute)

ArbitraryMeta (class in pyquchk.arbitraries.arbitrary) args_for_sample() (pyquchk.arbitraries.arbitrary.Arbitrary static method)

B

bool_ (class in pyquchk.arbitraries.numbers)

C

cause (pyquchk.checker.CheckError attribute) CheckError choice_weighted() (in module pyquchk.arbitraries.utils)

combomethod (in module pyquchk.arbitraries.arbitrary) const (class in pyquchk.arbitraries.numbers) could_generate() (pyquchk.arbitraries.arbitrary.Arbitrary method)

D

data (pyquchk.checker.Result attribute)

E

elements (class in pyquchk.arbitraries.numbers)

exception (pyquchk.checker.Result attribute)

F

failed (pyquchk.checker.Result attribute) filter_possible() (in module pyquchk.arbitraries.utils) float_ (in module pyquchk.arbitraries.numbers) float_exp (class in pyquchk.arbitraries.numbers)

float_fraction (class in pyquchk.arbitraries.numbers) float_uniform (class in pyquchk.arbitraries.numbers) for_all() (in module pyquchk.checker)

G

gen_serial() (pyquchk.arbitraries.arbitrary.Arbitrary method) get_all() (pyquchk.arbitraries.arbitrary.Arbitrary static method)

get_for() (pyquchk.arbitraries.arbitrary.Arbitrary static method)

I

int_ (class in pyquchk.arbitraries.numbers)

L

list_ (class in pyquchk.arbitraries.sequences)

N

next_random() (pyquchk.arbitraries.arbitrary.Arbitrary method)

O

oneof (class in pyquchk.arbitraries.numbers)

P

passed (pyquchk.checker.Result attribute) pyquchk.__init__ (module) pyquchk.arbitraries.__init__ (module) pyquchk.arbitraries.arbitrary (module) pyquchk.arbitraries.numbers (module)

pyquchk.arbitraries.sequences (module) pyquchk.arbitraries.utils (module) pyquchk.checker (module) pyquchk.qc_decorator (module)

Q

qc() (in module pyquchk.qc_decorator)

R

Result (class in pyquchk.checker) ReturnedFalse

retval (pyquchk.checker.ReturnedFalse attribute) roundrobin() (in module pyquchk.arbitraries.utils)

S

sample() (pyquchk.arbitraries.arbitrary.Arbitrary class method) set_for() (pyquchk.arbitraries.arbitrary.Arbitrary static method)

shrink() (pyquchk.arbitraries.arbitrary.Arbitrary method)

T

test_data (pyquchk.checker.CheckError attribute)

traceback (pyquchk.checker.Result attribute)

U

unique() (in module pyquchk.arbitraries.utils)

until_possible() (in module pyquchk.arbitraries.utils)

V

verdict (pyquchk.checker.Result attribute)