| Overview |  |
Copyright © 2017-2018 Andreas Löscher and Kostis Sagonas
Version: Sep 9 2019 16:33:42
Authors: Andreas Löscher.
matcher() = fun((term(), proper_types:raw_type(), temperature()) -> term())
nf() = fun((pos_integer(), temperature()) -> term())
temperature() = float()
| cleanup/0 | |
| construct_improper/2 | |
| extract_outer_safe/1 | |
| from_proper_generator/1 | |
| get_neighborhood_function/1 | constructs a neighborhood function Fun(Base, Temp) from Type |
| init/0 | |
| match/3 | |
| set_matcher/2 | |
| set_temperature_scaling/1 | |
| set_user_nf/2 | |
| structural_match/3 | |
| update_caches/1 |
cleanup() -> ok
construct_improper(T::list(), IT::term()) -> term()
extract_outer_safe(X1::proper_gen:imm_instance()) -> {ok, proper_gen:imm_instance()} | fail
from_proper_generator(RawGenerator::proper_types:type()) -> proper_target:tmap()
get_neighborhood_function(Type::proper_types:type()) -> proper_gen_next:nf()
constructs a neighborhood function Fun(Base, Temp) from Type
init() -> ok
match(Base::term(), Type::proper_types:raw_type(), Temp::temperature()) -> term()
set_matcher(Type::proper_types:type(), Matcher::matcher()) -> proper_types:type()
set_temperature_scaling(Enabled::boolean) -> ok
set_user_nf(Type::proper_types:type(), NF::nf()) -> proper_types:type()
structural_match(UncleanBase::term(), UncleanRawType::proper_types:raw_type(), Temp::temperature()) -> term()
update_caches(X1::accept | reject) -> ok
Generated by EDoc