# Module proper_sa

- Data Types
- Function Index
- Function Details

Copyright © 2017 Andreas Löscher and Kostis Sagonas

Version: Jan 2 2021 16:13:05

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