<?xml version="1.0" encoding="UTF-8"?>
<java version="1.7.0_75" class="java.beans.XMLDecoder">
 <object class="com.stanleybak.hycreate.containers.HyCreateData">
  <void property="automatonName">
   <string>_3d_stable</string>
  </void>
  <void property="dimensions">
   <string>x, y, z</string>
  </void>
  <void property="globalText">
   <string>// Made using Hyst v1.17 from model file ../../examples/3d_stable/3d_stable.xml
// Command line arguments were: -hycreate_sim ../../examples/3d_stable/3d_stable.xml</string>
  </void>
  <void property="initialStates">
   <string>3.0 , 3.5 ; -3.0 , -2.5 ; 0.9 , 1.3 ; l1
</string>
  </void>
  <void property="modes">
   <void method="put">
    <string>l1</string>
    <object class="com.stanleybak.hycreate.containers.ModeData">
     <void property="derivative">
      <void method="add">
       <string>return new Interval(-9.0 * ($x - 2.0) - 7.0 * ($y + 2.0) + $z - 1.0 + 0.2 * ($x - 2.0) * ($y + 2.0) + 0.1 * ($y + 2.0) * ($z - 1.0) + 0.1 * ($x - 2.0) * ($z - 1.0) + 0.5 * ($z - 1.0) * ($z - 1.0), -9.0 * ($x - 2.0) - 7.0 * ($y + 2.0) + $z - 1.0 + 0.2 * ($x - 2.0) * ($y + 2.0) + 0.1 * ($y + 2.0) * ($z - 1.0) + 0.1 * ($x - 2.0) * ($z - 1.0) + 0.5 * ($z - 1.0) * ($z - 1.0));</string>
      </void>
      <void method="add">
       <string>return new Interval(6.0 * ($x - 2.0) + 4.0 * ($y + 2.0) + $z - 1.0, 6.0 * ($x - 2.0) + 4.0 * ($y + 2.0) + $z - 1.0);</string>
      </void>
      <void method="add">
       <string>return new Interval(3.0 * ($x - 2.0) + 2.0 * ($y + 2.0) - 2.5 * ($z - 1.0), 3.0 * ($x - 2.0) + 2.0 * ($y + 2.0) - 2.5 * ($z - 1.0));</string>
      </void>
     </void>
     <void property="invariant">
      <string>return true;</string>
     </void>
     <void property="minMaxPoints">
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
     </void>
     <void property="regridRatio">
      <string>1.7, 1.7, 1.7</string>
     </void>
    </object>
   </void>
   <void method="put">
    <string>l2</string>
    <object class="com.stanleybak.hycreate.containers.ModeData">
     <void property="derivative">
      <void method="add">
       <string>return new Interval(2.2 * $x + 3.6 * $y + 3.9 * $z, 2.2 * $x + 3.6 * $y + 3.9 * $z);</string>
      </void>
      <void method="add">
       <string>return new Interval(3.0 * $x + 2.4 * $y + 3.4 * $z - 0.01 * $x * $x, 3.0 * $x + 2.4 * $y + 3.4 * $z - 0.01 * $x * $x);</string>
      </void>
      <void method="add">
       <string>return new Interval(-5.0 * $x - 5.4 * $y - 6.7 * $z, -5.0 * $x - 5.4 * $y - 6.7 * $z);</string>
      </void>
     </void>
     <void property="invariant">
      <string>return true;</string>
     </void>
     <void property="minMaxPoints">
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
     </void>
     <void property="regridRatio">
      <string>1.7, 1.7, 1.7</string>
     </void>
    </object>
   </void>
  </void>
  <void property="options">
   <void property="plotOptions">
    <void property="visualizeDuringComputation">
     <boolean>false</boolean>
    </void>
   </void>
   <void property="reachabilityTime">
    <string>15.0</string>
   </void>
   <void property="simulationOptions">
    <void property="enumerateTransitions">
     <boolean>true</boolean>
    </void>
    <void property="simulationType">
     <object class="java.lang.Enum" method="valueOf">
      <class>com.stanleybak.hycreate.containers.ModelSimulationOptions$SimulationType</class>
      <string>SIMULATION_ONLY</string>
     </object>
    </void>
    <void property="startingPositions">
     <object class="java.lang.Enum" method="valueOf">
      <class>com.stanleybak.hycreate.containers.ModelSimulationOptions$StartingPositionsType</class>
      <string>CORNERS_AND_MIDPOINTS</string>
     </object>
    </void>
   </void>
   <void property="timeStep">
    <string>0.05</string>
   </void>
  </void>
  <void property="transitions">
   <void method="add">
    <object class="com.stanleybak.hycreate.containers.TransitionData">
     <void property="from">
      <string>l1</string>
     </void>
     <void property="guard">
      <string>// Guard is: -1.0*x &lt;= -1.7 and 1.0*x &lt;= 2.3 and -1.0*y &lt;= 2.3 and 1.0*y &lt;= -1.7 and -1.0*z &lt;= -0.7 and 1.0*z &lt;= 1.3

return -1.0*$x.max &lt;= -1.7 &amp;&amp; 1.0*$x.min &lt;= 2.3 &amp;&amp; -1.0*$y.max &lt;= 2.3 &amp;&amp; 1.0*$y.min &lt;= -1.7 &amp;&amp; -1.0*$z.max &lt;= -0.7 &amp;&amp; 1.0*$z.min &lt;= 1.3;</string>
     </void>
     <void property="to">
      <string>l2</string>
     </void>
    </object>
   </void>
  </void>
  <void property="versionString">
   <string>File Version 3</string>
  </void>
 </object>
</java>
