Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

69 lines (56 sloc) 3.019 kb
<!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 trie_proper</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 trie_proper</h1>
<ul class="index"><li><a href="#index">Function Index</a></li><li><a href="#functions">Function Details</a></li></ul>
<p><b>Behaviours:</b> <a href="proper_statem.html"><tt>proper_statem</tt></a>.</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="#command-1">command/1</a></td><td></td></tr>
<tr><td valign="top"><a href="#correct-1">correct/1</a></td><td></td></tr>
<tr><td valign="top"><a href="#initial_state-0">initial_state/0</a></td><td></td></tr>
<tr><td valign="top"><a href="#next_state-3">next_state/3</a></td><td></td></tr>
<tr><td valign="top"><a href="#postcondition-3">postcondition/3</a></td><td></td></tr>
<tr><td valign="top"><a href="#precondition-2">precondition/2</a></td><td></td></tr>
<tr><td valign="top"><a href="#qc_run-1">qc_run/1</a></td><td></td></tr>
</table>
<h2><a name="functions">Function Details</a></h2>
<h3 class="function"><a name="command-1">command/1</a></h3>
<div class="spec">
<p><tt>command(State) -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="correct-1">correct/1</a></h3>
<div class="spec">
<p><tt>correct(M) -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="initial_state-0">initial_state/0</a></h3>
<div class="spec">
<p><tt>initial_state() -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="next_state-3">next_state/3</a></h3>
<div class="spec">
<p><tt>next_state(State, V, X3) -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="postcondition-3">postcondition/3</a></h3>
<div class="spec">
<p><tt>postcondition(State, X2, R) -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="precondition-2">precondition/2</a></h3>
<div class="spec">
<p><tt>precondition(S, Call) -&gt; any()</tt></p>
</div>
<h3 class="function"><a name="qc_run-1">qc_run/1</a></h3>
<div class="spec">
<p><tt>qc_run(M) -&gt; any()</tt></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, Apr 12 2015, 16:51:08.</i></p>
</body>
</html>
Jump to Line
Something went wrong with that request. Please try again.