Copyright © 2017 Andreas Löscher and Kostis Sagonas
Version: Jun 1 2018 05:14:35
Authors: Andreas Löscher.
fitness() = number()
fitness_func() = fun((target_state(), fitness()) -> target_state())
key() = nonempty_string() | reference()
next_func() = fun((target_state()) -> {target_state(), any()})
options() = [{atom(), term()}]
strategy() = module()
behaviour for strategies strategy global initializer
target() = {target_state(), next_func(), fitness_func()}
target_state() = term()
threshold() = fitness() | inf
tmap() = #{atom() => term()}
cleanup_strategy/0 | |
targeted/3 | |
update_target_uvs/2 | |
update_target_uvs/3 | |
use_strategy/3 |
cleanup_strategy() -> ok
targeted(Key :: key(), Gen :: proper_types:type(), TMap :: tmap()) -> proper_types:type()
update_target_uvs(Fitness :: fitness(), Threshold :: threshold()) -> boolean()
update_target_uvs(Fitness :: fitness(), Threshold :: threshold(), Key :: key()) -> boolean()
use_strategy(Strat :: strategy(), Prop :: any(), Opts :: proper:setup_opts()) -> proper:outer_test()
Generated by EDoc