Module proper_sa

first_next() = proper_target:tmap()

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