Module proper_sa

Copyright © 2017 Andreas Löscher and Kostis Sagonas

Version: Dec 6 2023 17:35:17

Behaviours: proper_target.

Authors: Andreas Löscher.

Data Types

first_next()

first_next() = proper_target:tmap()

Function Index

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

Function Details

cleanup/0

cleanup() -> ok

float/0

float() -> first_next()

float/2

float(L :: proper_types:extnum(), R :: proper_types:extnum()) ->
         first_next()

get_last_fitness/0

get_last_fitness() -> proper_target:fitness()

get_shrinker/1

get_shrinker(X1 :: proper_target:tmap()) -> proper_types:type()

init_strategy/2

init_strategy(Prop :: proper:outer_test(),
              X2 :: proper:setup_opts()) ->
                 proper:outer_test()

init_target/1

init_target(TMap :: proper_target:tmap()) ->
               proper_target:target()

integer/0

integer() -> first_next()

integer/2

integer(L :: proper_types:extint(), R :: proper_types:extint()) ->
           first_next()

list/1

list(Type :: proper_types:type()) -> first_next()

reset/0

reset() -> ok

retrieve_target/1

retrieve_target(Key :: proper_target:key()) ->
                   proper_target:target() | undefined

store_target/2

store_target(Key :: proper_target:key(),
             Target :: proper_target:target()) ->
                ok

update_global_fitness/1

update_global_fitness(Fitness :: proper_target:fitness()) -> ok


Generated by EDoc