<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="">
  <compounddef id="035__invariant_8c" kind="file" language="C++">
    <compoundname>035_invariant.c</compoundname>
    <sectiondef kind="func">
      <memberdef kind="function" id="035__invariant_8c_1a92e32ddd4278ab907422d5aaa34cb796" prot="public" static="no" const="no" explicit="no" inline="no" virt="non-virtual">
        <type>void</type>
        <definition>void func</definition>
        <argsstring>(int p, int *q)</argsstring>
        <name>func</name>
        <param>
          <type>int</type>
          <declname>p</declname>
        </param>
        <param>
          <type>int *</type>
          <declname>q</declname>
        </param>
        <briefdescription>
        </briefdescription>
        <detaileddescription>
          <para>
            <simplesect kind="invariant">
              <para>i+j=p </para>
            </simplesect>
            <simplesect kind="pre">
              <para>p&gt;=0 </para>
            </simplesect>
            <simplesect kind="post">
              <para>*q=2^(p+1) </para>
            </simplesect>
          </para>
        </detaileddescription>
        <inbodydescription>
        </inbodydescription>
        <location file="035_invariant.c" line="10" column="1" bodyfile="035_invariant.c" bodystart="10" bodyend="15"/>
      </memberdef>
    </sectiondef>
    <briefdescription>
    </briefdescription>
    <detaileddescription>
    </detaileddescription>
    <location file="035_invariant.c"/>
  </compounddef>
</doxygen>