Module proper_target

Copyright © 2017 Andreas Löscher and Kostis Sagonas

Version: Jul 30 2024 16:47:23

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