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;
  }
}