<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Module proper_gen_next</title>
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="EDoc">
</head>
<body bgcolor="white">
<div class="navbar"><a name="#navbar_top"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
<hr>
<h1>Module proper_gen_next</h1>
<ul class="index"><li><a href="#types">Data Types</a></li><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>
<p>Copyright © 2017-2018 Andreas Löscher and Kostis Sagonas</p>
<p><b>Version:</b> Sep 22 2018 19:52:28</p>
<p><b>Authors:</b> Andreas Löscher.</p>
<h2><a name="types">Data Types</a></h2>
<h3 class="typedecl"><a name="type-matcher">matcher()</a></h3>
<p><pre>matcher() =
fun((term(), <a href="proper_types.html#type-raw_type">proper_types:raw_type()</a>, <a href="#type-temperature">temperature()</a>) -> term())</pre></p>
<h3 class="typedecl"><a name="type-nf">nf()</a></h3>
<p><pre>nf() = fun((term(), <a href="#type-temperature">temperature()</a>) -> term())</pre></p>
<h3 class="typedecl"><a name="type-temperature">temperature()</a></h3>
<p><pre>temperature() = float()</pre></p>
<h2><a name="index">Function Index</a></h2>
<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#cleanup-0">cleanup/0</a></td><td></td></tr>
<tr><td valign="top"><a href="#construct_improper-2">construct_improper/2</a></td><td></td></tr>
<tr><td valign="top"><a href="#extract_outer_safe-1">extract_outer_safe/1</a></td><td></td></tr>
<tr><td valign="top"><a href="#from_proper_generator-1">from_proper_generator/1</a></td><td></td></tr>
<tr><td valign="top"><a href="#get_neighborhood_function-1">get_neighborhood_function/1</a></td><td>constructs a neighborhood function <code>Fun(Base, Temp)</code> from <code>Type</code></td></tr>
<tr><td valign="top"><a href="#init-0">init/0</a></td><td></td></tr>
<tr><td valign="top"><a href="#match-3">match/3</a></td><td></td></tr>
<tr><td valign="top"><a href="#set_matcher-2">set_matcher/2</a></td><td></td></tr>
<tr><td valign="top"><a href="#set_temperature_scaling-1">set_temperature_scaling/1</a></td><td></td></tr>
<tr><td valign="top"><a href="#set_user_nf-2">set_user_nf/2</a></td><td></td></tr>
<tr><td valign="top"><a href="#structural_match-3">structural_match/3</a></td><td></td></tr>
<tr><td valign="top"><a href="#update_caches-1">update_caches/1</a></td><td></td></tr>
</table>
<h2><a name="functions">Function Details</a></h2>
<h3 class="function"><a name="cleanup-0">cleanup/0</a></h3>
<div class="spec">
<p><pre>cleanup() -> ok</pre></p>
</div>
<h3 class="function"><a name="construct_improper-2">construct_improper/2</a></h3>
<div class="spec">
<p><pre>construct_improper(T :: list(), IT :: term()) -> term()</pre></p>
</div>
<h3 class="function"><a name="extract_outer_safe-1">extract_outer_safe/1</a></h3>
<div class="spec">
<p><pre>extract_outer_safe(X1 :: <a href="proper_gen.html#type-imm_instance">proper_gen:imm_instance()</a>) ->
{ok, <a href="proper_gen.html#type-imm_instance">proper_gen:imm_instance()</a>} | fail</pre></p>
</div>
<h3 class="function"><a name="from_proper_generator-1">from_proper_generator/1</a></h3>
<div class="spec">
<p><pre>from_proper_generator(RawGenerator :: <a href="proper_types.html#type-type">proper_types:type()</a>) ->
<a href="proper_target.html#type-tmap">proper_target:tmap()</a></pre></p>
</div>
<h3 class="function"><a name="get_neighborhood_function-1">get_neighborhood_function/1</a></h3>
<div class="spec">
<p><pre>get_neighborhood_function(Type :: <a href="proper_types.html#type-type">proper_types:type()</a>) ->
<a href="proper_gen_next.html#type-nf">proper_gen_next:nf()</a></pre></p>
</div><p>constructs a neighborhood function <code>Fun(Base, Temp)</code> from <code>Type</code></p>
<h3 class="function"><a name="init-0">init/0</a></h3>
<div class="spec">
<p><pre>init() -> ok</pre></p>
</div>
<h3 class="function"><a name="match-3">match/3</a></h3>
<div class="spec">
<p><pre>match(Base :: term(),
Type :: <a href="proper_types.html#type-raw_type">proper_types:raw_type()</a>,
Temp :: <a href="#type-temperature">temperature()</a>) ->
term()</pre></p>
</div>
<h3 class="function"><a name="set_matcher-2">set_matcher/2</a></h3>
<div class="spec">
<p><pre>set_matcher(Type :: <a href="proper_types.html#type-type">proper_types:type()</a>, Matcher :: <a href="#type-matcher">matcher()</a>) ->
<a href="proper_types.html#type-type">proper_types:type()</a></pre></p>
</div>
<h3 class="function"><a name="set_temperature_scaling-1">set_temperature_scaling/1</a></h3>
<div class="spec">
<p><pre>set_temperature_scaling(Enabled :: boolean) -> ok</pre></p>
</div>
<h3 class="function"><a name="set_user_nf-2">set_user_nf/2</a></h3>
<div class="spec">
<p><pre>set_user_nf(Type :: <a href="proper_types.html#type-type">proper_types:type()</a>, NF :: <a href="#type-nf">nf()</a>) ->
<a href="proper_types.html#type-type">proper_types:type()</a></pre></p>
</div>
<h3 class="function"><a name="structural_match-3">structural_match/3</a></h3>
<div class="spec">
<p><pre>structural_match(UncleanBase :: term(),
UncleanRawType :: <a href="proper_types.html#type-raw_type">proper_types:raw_type()</a>,
Temp :: <a href="#type-temperature">temperature()</a>) ->
term()</pre></p>
</div>
<h3 class="function"><a name="update_caches-1">update_caches/1</a></h3>
<div class="spec">
<p><pre>update_caches(X1 :: accept | reject) -> ok</pre></p>
</div>
<hr>
<div class="navbar"><a name="#navbar_bottom"></a><table width="100%" border="0" cellspacing="0" cellpadding="2" summary="navigation bar"><tr><td><a href="overview-summary.html" target="overviewFrame">Overview</a></td><td><a href="http://www.erlang.org/"><img src="erlang.png" align="right" border="0" alt="erlang logo"></a></td></tr></table></div>
<p><i>Generated by EDoc</i></p>
</body>
</html>
