script.kps 459 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
script split_from_quicksort() {
  autopilot_prep;
  foreach{
    tryclose;
  }
  foreach{
    simp_upd;
    seqPermFromSwap;
    andRight;
  }


cases{
    case match `? ==> seqDef{?;}(?,?,?) = seqDef{?;}(?, ?, ?)`:
        __KEY_MAX_STEPS:=10000;
        auto;
    case match `? ==> (\exists ?X:int; (\exists ?Y:int; ?))`:
        instantiate  var=X with=`i_0`;
        instantiate  var=Y with=`j_0`;
        __KEY_MAX_STEPS:=60000;
        auto;
  }
}