<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Semipredicate problem - Page 4 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Semipredicate_problem&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Semipredicate_problem&amp;p=5">3.Next</a>
</p>
<p>code be contained in one place (in this division example, the verification of input was done separately). For a computation more complicated than division, it could be difficult for the caller to recognize invalid input; in some cases, determining input validity may be as costly as performing the entire computation. The target function could also be modified and would then expect different preconditions than would the caller; such a modification would require changes in every place where the function was called.</p>

<p><big> Solutions </big></p>
<p>The</p><p>
<a accesskey="1" href="page.php?w=Semipredicate_problem&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Semipredicate_problem&amp;p=5">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
