examples/example.xml
changeset 47 2b2f8d88e6d3
parent 46 4379e98a30aa
child 56 7187e1c00975
equal deleted inserted replaced
46:4379e98a30aa 47:2b2f8d88e6d3
   352         <interface>
   352         <interface>
   353           <returnType>
   353           <returnType>
   354             <REAL/>
   354             <REAL/>
   355           </returnType>
   355           </returnType>
   356           <inputVars>
   356           <inputVars>
   357             <variable name="X1">
   357             <variable name="X3">
   358               <type>
   358               <type>
   359                 <REAL/>
   359                 <REAL/>
   360               </type>
   360               </type>
   361             </variable>
   361             </variable>
   362           </inputVars>
   362           </inputVars>