Copyright © 2017 Andreas Löscher and Kostis Sagonas
Version: Jun 1 2018 05:14:36
Behaviours: proper_target.
Authors: Andreas Löscher.
first_next() = proper_target:tmap()
cleanup/0 | |
float/0 | |
float/2 | |
get_last_fitness/0 | |
get_shrinker/1 | |
init_strategy/2 | |
init_target/1 | |
integer/0 | |
integer/2 | |
list/1 | |
reset/0 | |
retrieve_target/1 | |
store_target/2 | |
update_global_fitness/1 |
cleanup() -> ok
float() -> first_next()
float(L :: proper_types:extnum(), R :: proper_types:extnum()) -> first_next()
get_last_fitness() -> proper_target:fitness()
get_shrinker(X1 :: proper_target:tmap()) -> proper_types:type()
init_strategy(Prop :: proper:outer_test(), X2 :: proper:setup_opts()) -> proper:outer_test()
init_target(TMap :: proper_target:tmap()) -> proper_target:target()
integer() -> first_next()
integer(L :: proper_types:extint(), R :: proper_types:extint()) -> first_next()
list(Type :: proper_types:type()) -> first_next()
reset() -> ok
retrieve_target(Key :: proper_target:key()) -> proper_target:target() | undefined
store_target(Key :: proper_target:key(), Target :: proper_target:target()) -> ok
update_global_fitness(Fitness :: proper_target:fitness()) -> ok
Generated by EDoc