Module proper_gen_next

Copyright © 2017-2018 Andreas Löscher and Kostis Sagonas

Version: Mar 24 2023 08:11:35

Authors: Andreas Löscher.

Data Types

matcher()

matcher() = 
    fun((term(), proper_types:raw_type(), temperature()) -> term())

nf()

nf() = fun((term(), temperature()) -> term())

temperature()

temperature() = float()

Function Index

cleanup/0
construct_improper/2
extract_outer_safe/1
from_proper_generator/1
get_neighborhood_function/1constructs 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

Function Details

cleanup/0

cleanup() -> ok

construct_improper/2

construct_improper(T :: list(), IT :: term()) -> term()

extract_outer_safe/1

extract_outer_safe(X1 :: proper_gen:imm_instance()) ->
                      {ok, proper_gen:imm_instance()} | fail

from_proper_generator/1

from_proper_generator(RawGenerator :: proper_types:type()) ->
                         proper_target:tmap()

get_neighborhood_function/1

get_neighborhood_function(Type :: proper_types:type()) ->
                             proper_gen_next:nf()

constructs a neighborhood function Fun(Base, Temp) from Type

init/0

init() -> ok

match/3

match(Base :: term(),
      Type :: proper_types:raw_type(),
      Temp :: temperature()) ->
         term()

set_matcher/2

set_matcher(Type :: proper_types:type(), Matcher :: matcher()) ->
               proper_types:type()

set_temperature_scaling/1

set_temperature_scaling(Enabled :: boolean) -> ok

set_user_nf/2

set_user_nf(Type :: proper_types:type(), NF :: nf()) ->
               proper_types:type()

structural_match/3

structural_match(UncleanBase :: term(),
                 UncleanRawType :: proper_types:raw_type(),
                 Temp :: temperature()) ->
                    term()

update_caches/1

update_caches(X1 :: accept | reject) -> ok


Generated by EDoc