<?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>=0 </para> </simplesect> <simplesect kind="post"> <para>*q=2^(p+1) </para> </simplesect> </para> </detaileddescription> <inbodydescription> </inbodydescription> <location file="035_invariant.c" bodystart="10" bodyend="15"/> </memberdef> </sectiondef> <briefdescription> </briefdescription> <detaileddescription> </detaileddescription> <location file="035_invariant.c"/> </compounddef> </doxygen>