# Module proper_target

- Data Types
- Function Index
- Function Details

Copyright © 2017 Andreas Löscher and Kostis Sagonas

Version: Jan 2 2021 16:13:05

Authors: Andreas Löscher.

## Data Types

### fitness()

    fitness() = number()

### fitness_func()

    fitness_func() =
        fun((target_state(), fitness()) -> target_state())

### key()

    key() = nonempty_string() | reference()

### next_func()

    next_func() = fun((target_state()) -> {target_state(), any()})

### options()

    options() = [{atom(), term()}]

### strategy()

    strategy() = module()

behaviour for strategies strategy global initializer

### target()

    target() = {target_state(), next_func(), fitness_func()}

### target_state()

    target_state() = term()

### threshold()

    threshold() = fitness() | inf

### tmap()

    tmap() = #{atom() => term()}

## Function Index

cleanup_strategy/0 |
targeted/3 |
update_target_uvs/2 |
update_target_uvs/3 |
use_strategy/3 |

## Function Details

### cleanup_strategy/0

    cleanup_strategy() -> ok

### targeted/3

    targeted(Key :: key(), Gen :: proper_types:type(), TMap :: tmap()) ->
                proper_types:type()

### update_target_uvs/2

    update_target_uvs(Fitness :: fitness(), Threshold :: threshold()) ->
                         boolean()

### update_target_uvs/3

    update_target_uvs(Fitness :: fitness(),
                      Threshold :: threshold(),
                      Key :: key()) ->
                         boolean()

### use_strategy/3

    use_strategy(Strat :: strategy(),
                 Prop :: any(),
                 Opts :: proper:setup_opts()) ->
                    proper:outer_test()

Generated by EDoc