script.kps 890 Bytes
Newer Older
1
2
// Please select one of the following scripts.
//
Sarah Grebing's avatar
Sarah Grebing committed
3
script test23(){
Sarah Grebing's avatar
interim    
Sarah Grebing committed
4
impRight;
Sarah Grebing's avatar
Sarah Grebing committed
5
6
7
8
x:term := find(match `?rt ==>`);
impLeft formula=x;


Sarah Grebing's avatar
interim    
Sarah Grebing committed
9
cases{
Sarah Grebing's avatar
interim    
Sarah Grebing committed
10
11
12
    case match `q==>`:
      impRight;
      notRight;
13

Sarah Grebing's avatar
Sarah Grebing committed
14
    case match `==>`:
Sarah Grebing's avatar
interim    
Sarah Grebing committed
15
16
      impRight;
      notRight;
17
      close;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
18
    }
19
20
21

        auto;

Sarah Grebing's avatar
interim    
Sarah Grebing committed
22
23
24
}


25
script test(){
26

27
28
29
30
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
31
  impRight;
32
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
33
34
35
36
37
38
39
40
41

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

}
42
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
43

44
45
46
47
48
49
50
51
52
53
54
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
55
56
57
58
script cpClosable(){
    impRight;
    impRight;
    cases{
59
60
61
62

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

63
        try:
Sarah Grebing's avatar
Sarah Grebing committed
64
65
66
67
68
69
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

70
        default:
Sarah Grebing's avatar
Sarah Grebing committed
71
            auto;
72

Sarah Grebing's avatar
Sarah Grebing committed
73
    }
74
}