script.kps 939 Bytes
Newer Older
1
2
// Please select one of the following scripts.
//
3
4
5

script test1234(){
    impRight;
6
    //auto;
7
8
}

Sarah Grebing's avatar
Sarah Grebing committed
9
script test23(){
Sarah Grebing's avatar
interim    
Sarah Grebing committed
10
impRight;
Sarah Grebing's avatar
Sarah Grebing committed
11
12
13
14
x:term := find(match `?rt ==>`);
impLeft formula=x;


Sarah Grebing's avatar
interim    
Sarah Grebing committed
15
cases{
Sarah Grebing's avatar
interim    
Sarah Grebing committed
16
17
18
    case match `q==>`:
      impRight;
      notRight;
19

Sarah Grebing's avatar
Sarah Grebing committed
20
    case match `==>`:
Sarah Grebing's avatar
interim    
Sarah Grebing committed
21
22
      impRight;
      notRight;
23
      close;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
24
    }
25
26
27

        auto;

Sarah Grebing's avatar
interim    
Sarah Grebing committed
28
29
30
}


31
script test(){
32

33
34
35
36
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
37
  impRight;
38
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
39
40
41
42
43
44
45
46
47

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

}
48
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
49

50
51
52
53
54
55
56
57
58
59
60
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
61
62
63
64
script cpClosable(){
    impRight;
    impRight;
    cases{
65
66
67
68

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

69
        try:
Sarah Grebing's avatar
Sarah Grebing committed
70
71
72
73
74
75
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

76
        default:
Sarah Grebing's avatar
Sarah Grebing committed
77
            auto;
78

Sarah Grebing's avatar
Sarah Grebing committed
79
    }
80
}