<!DOCTYPE gentra4cp SYSTEM 
"http://contraintes.inria.fr/OADymPPaC/Public/Trace/gentra4cp.2.0.2.dtd">
<gentra4cp>
<header>
  <date>2004-05-02 16:28:04</date>
  <source>NSort.java</source>
  <contributor>Ecole des Mines de Nantes/LINA</contributor>
  <solver>Choco traced by Oadymppac trace aspect</solver>
</header>
 
<provide>
   <new-variable chrono="" depth=""  vident="" vname="">
   <vardomain min="" max="" size="">
      <values/> <range from="" to=""/>
   </vardomain>
   </new-variable>
   <new-constraint chrono="" depth=""  cident="" orig="">
   </new-constraint>
   <post chrono="" depth=""  cident=""/>
   <choice-point chrono="" depth="" />
   <back-to chrono="" depth="" />
   <solution chrono="" depth="" >
      <state>
         <variable vident=""><vardomain><values/></vardomain>
         </variable>
      </state>
   </solution>
   <failure chrono="" depth="" />
   <reduce chrono="" depth=""  cident="">
      <delta> <values/> <range from="" to=""/> </delta>
      <update vident="" types=""/>
   </reduce>
 </provide>

 <new-variable chrono="0" depth="0"  vident="v0" vname="Var0">
  <vardomain min="1" max="3" size="3">
   <range from="1" to="3"/>
  </vardomain>
 </new-variable>
 <new-variable chrono="1" depth="0"  vident="v1" vname="Var1">
  <vardomain min="1" max="3" size="3">
   <range from="1" to="3"/>
  </vardomain>
 </new-variable>
 <new-constraint chrono="2" depth="0"  cident="c0" orig="user">
 </new-constraint>
 <post chrono="3" depth="0"  cident="c0">
 </post>
 <reduce chrono="4" depth="0"  cident="c0">
  <delta>
   <range from="1" to="1"/>
  </delta>
  <update  vident="v1" types="min"/>
 </reduce>
 <reduce chrono="5" depth="0"  cident="c0">
  <delta>
   <range from="3" to="3"/>
  </delta>
  <update  vident="v0" types="max"/>
 </reduce>
 <choice-point chrono="6" depth="0" />
 <choice-point chrono="7" depth="1" />
 <reduce chrono="8" depth="2" >
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v0" types="ground"/>
 </reduce>
 <choice-point chrono="9" depth="2" />
 <reduce chrono="10" depth="3" >
  <delta>
   <range from="3" to="3"/>
  </delta>
  <update  vident="v1" types="ground"/>
 </reduce>
 <solution chrono="11" depth="3" >
  <state>
   <variable vident="v0"><vardomain><values>1</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>2</values></vardomain>
   </variable>
  </state>
 </solution>
 <back-to chrono="12" depth="2" />
 <reduce chrono="13" depth="2" >
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v1" types="ground"/>
 </reduce>
 <choice-point chrono="14" depth="2" />
 <solution chrono="15" depth="3" >
  <state>
   <variable vident="v0"><vardomain><values>1</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>3</values></vardomain>
   </variable>
  </state>
 </solution>
 <back-to chrono="16" depth="2" />
 <reduce chrono="17" depth="2" >
  <delta>
   <range from="3" to="3"/>
  </delta>
  <update vident="v1" types="empty"/>
 </reduce>
 <failure chrono="18" depth="2" />
 <back-to chrono="19" depth="1" />
 <reduce chrono="20" depth="1" >
  <delta>
   <range from="1" to="1"/>
  </delta>
  <update  vident="v0" types="ground"/>
 </reduce>
 <reduce chrono="21" depth="1"  cident="c0">
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v1" types="ground"/>
 </reduce>
 <choice-point chrono="22" depth="1" />
 <solution chrono="23" depth="2" >
  <state>
   <variable vident="v0"><vardomain><values>2</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>3</values></vardomain>
   </variable>
  </state>
 </solution>
 <back-to chrono="24" depth="1" />
 <reduce chrono="25" depth="1" >
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update vident="v0" types="empty"/>
 </reduce>
 <failure chrono="26" depth="1" />
 <back-to chrono="27" depth="0" />
 <reduce chrono="28" depth="0" >
  <delta>
   <range from="1" to="1"/>
  </delta>
  <update  vident="v0" types="ground"/>
 </reduce>
 <reduce chrono="29" depth="0" >
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v1" types="ground"/>
 </reduce>
</gentra4cp>