# Module qc_ubf #
* [Function Index](#index)
* [Function Details](#functions)


<a name="index"></a>

## Function Index ##


<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#behaviour_info-1">behaviour_info/1</a></td><td></td></tr><tr><td valign="top"><a href="#impl-2">impl/2</a></td><td></td></tr><tr><td valign="top"><a href="#qc_counterexample_read-4">qc_counterexample_read/4</a></td><td></td></tr><tr><td valign="top"><a href="#qc_prop-3">qc_prop/3</a></td><td></td></tr><tr><td valign="top"><a href="#qc_run-4">qc_run/4</a></td><td></td></tr><tr><td valign="top"><a href="#qc_sample-3">qc_sample/3</a></td><td></td></tr></table>


<a name="functions"></a>

## Function Details ##

<a name="behaviour_info-1"></a>

### behaviour_info/1 ###

`behaviour_info(Other) -> any()`


<a name="impl-2"></a>

### impl/2 ###

`impl(Mod, Contracts) -> any()`


<a name="qc_counterexample_read-4"></a>

### qc_counterexample_read/4 ###

`qc_counterexample_read(Mod, Contracts, Options, FileName) -> any()`


<a name="qc_prop-3"></a>

### qc_prop/3 ###

`qc_prop(Mod, Contracts, Options) -> any()`


<a name="qc_run-4"></a>

### qc_run/4 ###

`qc_run(Mod, Contracts, NumTests, Options) -> any()`


<a name="qc_sample-3"></a>

### qc_sample/3 ###

`qc_sample(Mod, Contracts, Options) -> any()`