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

 <new-variable chrono="0" vident="v0" vname="Var0">
  <vardomain min="1" max="3" size="3">
   <range from="1" to="3"/>
  </vardomain>
 </new-variable>
 <new-variable chrono="1" vident="v1" vname="Var1">
  <vardomain min="1" max="3" size="3">
   <range from="1" to="3"/>
  </vardomain>
 </new-variable>
 <new-constraint chrono="2"  cident="c0" cexternal="Var1 >= Var0 + 1" 
                 orig="user">
 </new-constraint>
 <post chrono="3"  cident="c0">
 </post>
 <reduce chrono="4"  cident="c0">
  <delta>
   <range from="1" to="1"/>
  </delta>
  <update  vident="v1" types="min"/>
  <explanation>
   <range from="1" to="1"/>
   <constraints cidents="c0 "/>
  </explanation>
 </reduce>
 <reduce chrono="5"  cident="c0">
  <delta>
   <range from="3" to="3"/>
  </delta>
  <update  vident="v0" types="max"/>
  <explanation>
   <range from="3" to="3"/>
   <constraints cidents="c0 "/>
  </explanation>
 </reduce>
 <choice-point chrono="6" />
 <new-constraint chrono="7"  cident="c1" cexternal="Var0 == 1" 
                 orig="system">
 </new-constraint>
 <post chrono="8"  cident="c1">
 </post>
 <reduce chrono="9"  cident="c1">
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v0" types="max"/>
  <explanation>
   <range from="2" to="2"/>
   <constraints cidents="c0 c1 "/>
  </explanation>
 </reduce>
 <choice-point chrono="10" />
 <new-constraint chrono="11"  cident="c2" cexternal="Var1 == 2" 
                 orig="system">
 </new-constraint>
 <post chrono="12"  cident="c2">
 </post>
 <reduce chrono="13"  cident="c2">
  <delta>
   <range from="3" to="3"/>
  </delta>
  <update  vident="v1" types="max"/>
  <explanation>
   <range from="3" to="3"/>
   <constraints cidents="c2 "/>
  </explanation>
 </reduce>
 <solution chrono="14" >
  <state>
   <variable vident="v0"><vardomain><values>1</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>2</values></vardomain>
   </variable>
  </state>
 </solution>
 <reduce chrono="15" >
  <delta>
   <range from="0" to="1"/>
  </delta>
  <update vident="v-1" types="empty"/>
  <explanation>
   <range from="0" to="1"/>
   <constraints cidents="c1 c2 "/>
  </explanation>
 </reduce>
 <failure chrono="16" />
 <choice-point chrono="17" />
 <remove chrono="18"  cident="c2"/>
 <restore chrono="19" >
  <delta vident="v1">
   <range from="3" to="3"/>
  </delta>
 </restore>
 <restore chrono="20" >
  <delta vident="v-1">
   <range from="0" to="1"/>
  </delta>
 </restore>
 <new-constraint chrono="21"  cident="c3" cexternal="Var1 !== 2" 
                 orig="system">
 </new-constraint>
 <post chrono="22"  cident="c3" context="c1 "/>
 <reduce chrono="23"  cident="c3">
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v1" types="min"/>
  <explanation>
   <range from="2" to="2"/>
   <constraints cidents="c0 c1 "/>
  </explanation>
 </reduce>
 <solution chrono="24" >
  <state>
   <variable vident="v0"><vardomain><values>1</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>3</values></vardomain>
   </variable>
  </state>
 </solution>
 <reduce chrono="25" >
  <delta>
   <range from="0" to="1"/>
  </delta>
  <update vident="v-1" types="empty"/>
  <explanation>
   <range from="0" to="1"/>
   <constraints cidents="c1 "/>
  </explanation>
 </reduce>
 <failure chrono="26" />
 <choice-point chrono="27" />
 <remove chrono="28"  cident="c1"/>
 <remove chrono="29"  cident="c3" context="c1"/>
 <restore chrono="30" >
  <delta vident="v0">
   <range from="2" to="2"/>
  </delta>
 </restore>
 <restore chrono="31" >
  <delta vident="v-1">
   <range from="0" to="1"/>
  </delta>
 </restore>
 <restore chrono="32" >
  <delta vident="v1">
   <range from="2" to="2"/>
  </delta>
 </restore>
 <new-constraint chrono="33"  cident="c4" cexternal="Var0 !== 1" 
                 orig="system">
 </new-constraint>
 <post chrono="34"  cident="c4" context=""/>
 <reduce chrono="35"  cident="c4">
  <delta>
   <range from="1" to="1"/>
  </delta>
  <update  vident="v0" types="min"/>
  <explanation>
   <range from="1" to="1"/>
   <constraints cidents=""/>
  </explanation>
 </reduce>
 <reduce chrono="36"  cident="c0">
  <delta>
   <range from="2" to="2"/>
  </delta>
  <update  vident="v1" types="min"/>
  <explanation>
   <range from="2" to="2"/>
   <constraints cidents="c0 "/>
  </explanation>
 </reduce>
 <solution chrono="37" >
  <state>
   <variable vident="v0"><vardomain><values>2</values></vardomain>
   </variable>
   <variable vident="v1"><vardomain><values>3</values></vardomain>
   </variable>
  </state>
 </solution>
 <reduce chrono="38" >
  <delta>
   <range from="0" to="1"/>
  </delta>
  <update vident="v-1" types="empty"/>
  <explanation>
   <range from="0" to="1"/>
   <constraints cidents=""/>
  </explanation>
 </reduce>
 <failure chrono="39" />
</gentra4cp>