script.kps 459 Bytes
Newer Older
Sarah Grebing's avatar
Sarah Grebing committed
1
script split_from_quicksort() {
Sarah Grebing's avatar
Sarah Grebing committed
2 3 4 5 6 7 8 9 10 11 12
  autopilot_prep;
  foreach{
    tryclose;
  }
  foreach{
    simp_upd;
    seqPermFromSwap;
    andRight;
  }


13 14 15
cases{
    case match `? ==> seqDef{?;}(?,?,?) = seqDef{?;}(?, ?, ?)`:
        __KEY_MAX_STEPS:=10000;
Sarah Grebing's avatar
Sarah Grebing committed
16
        auto;
17
    case match `? ==> (\exists ?X:int; (\exists ?Y:int; ?))`:
Sarah Grebing's avatar
Sarah Grebing committed
18 19
        instantiate  var=X with=`i_0`;
        instantiate  var=Y with=`j_0`;
20
        __KEY_MAX_STEPS:=60000;
Sarah Grebing's avatar
Sarah Grebing committed
21 22 23 24
        auto;
  }
}