<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>=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>