script.kps 1.01 KB
Newer Older
1
2
// Please select one of the following scripts.
//
3

Sarah Grebing's avatar
interim    
Sarah Grebing committed
4
5
6
7
script autoScript(){
    auto;
}

8
9
script test1234(){
    impRight;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
10
    autoScript;
11
    //auto;
12
13
}

Sarah Grebing's avatar
Sarah Grebing committed
14
script test23(){
Sarah Grebing's avatar
interim    
Sarah Grebing committed
15
impRight;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
16
17
18
//x:term := find(match `?rt ==>`);
//impLeft formula=x;
impLeft formula=find(match `?rt ==>`);
Sarah Grebing's avatar
Sarah Grebing committed
19

Sarah Grebing's avatar
interim    
Sarah Grebing committed
20
cases{
Sarah Grebing's avatar
interim    
Sarah Grebing committed
21
22
23
    case match `q==>`:
      impRight;
      notRight;
24

Sarah Grebing's avatar
Sarah Grebing committed
25
    case match `==>`:
Sarah Grebing's avatar
interim    
Sarah Grebing committed
26
27
      impRight;
      notRight;
28
      close;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
29
    }
30
31
32

        auto;

Sarah Grebing's avatar
interim    
Sarah Grebing committed
33
34
35
}


36
script test(){
37

38
39
40
41
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
42
  impRight;
43
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
44
45
46
47
48
49
50
51
52

script test_2(){
impRight;
impLeft;
cases{
    case match `q ==> ?X -> ?Y`:
      impRight;

}
53
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
54

55
56
57
58
59
60
61
62
63
64
65
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
66
67
68
69
script cpClosable(){
    impRight;
    impRight;
    cases{
70
71
72
73

       case match `?X -> ?Y ==> not(?Z)`:
            notLeft;

74
        try:
Sarah Grebing's avatar
Sarah Grebing committed
75
76
77
78
79
80
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

81
        default:
Sarah Grebing's avatar
Sarah Grebing committed
82
            auto;
83

Sarah Grebing's avatar
Sarah Grebing committed
84
    }
85
}