| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | data/instructions/example_1.mod | 1857 | ||||
| -rw-r--r-- | data/instructions/example_process.pl | 208 | ||||
| -rw-r--r-- | data/instructions/example_process.pl.kk | 88 |
3 files changed, 0 insertions, 2153 deletions
diff --git a/data/instructions/example_1.mod b/data/instructions/example_1.mod deleted file mode 100644 index 1adbd4b..0000000 --- a/data/instructions/example_1.mod +++ /dev/null @@ -1,1857 +0,0 @@ -(add_element file 0) -(add_element string 1) -(set_function filename 0 1) -(add_element entity 2) -(add_element string 3) -(set_function line 2 3) -(add_element string 4) -(set_function column 2 4) -(add_element string 5) -(set_function identifier 2 5) -(has_visible_flag 2) -(end_has_identifier 2) -(is_in_file 2 0) - -(add_element port 6) -(add_element string 4) -(set_function line 6 4) -(add_element string 7) -(set_function column 6 7) -(add_element string 8) -(set_function identifier 6 8) -(has_visible_flag 6) -(add_element string 9) -(is_of_mode 6 9) - -(add_element waveform 10) -(is_waveform_of 10 6) - -(is_port_of 6 2) -(add_element port 11) -(add_element string 12) -(set_function line 11 12) -(add_element string 7) -(set_function column 11 7) -(add_element string 13) -(set_function identifier 11 13) -(has_visible_flag 11) -(add_element string 9) -(is_of_mode 11 9) - -(add_element waveform 14) -(is_waveform_of 14 11) - -(is_port_of 11 2) -(add_element port 15) -(add_element string 16) -(set_function line 15 16) -(add_element string 7) -(set_function column 15 7) -(add_element string 17) -(set_function identifier 15 17) -(has_visible_flag 15) -(add_element string 9) -(is_of_mode 15 9) - -(add_element waveform 18) -(is_waveform_of 18 15) - -(is_port_of 15 2) -(add_element port 19) -(add_element string 20) -(set_function line 19 20) -(add_element string 7) -(set_function column 19 7) -(add_element string 21) -(set_function identifier 19 21) -(has_visible_flag 19) -(add_element string 9) -(is_of_mode 19 9) - -(add_element waveform 22) -(is_waveform_of 22 19) - -(is_port_of 19 2) -(add_element port 23) -(add_element string 24) -(set_function line 23 24) -(add_element string 7) -(set_function column 23 7) -(add_element string 25) -(set_function identifier 23 25) -(has_visible_flag 23) -(add_element string 9) -(is_of_mode 23 9) - -(add_element waveform 26) -(is_waveform_of 26 23) - -(is_port_of 23 2) -(add_element port 27) -(add_element string 28) -(set_function line 27 28) -(add_element string 7) -(set_function column 27 7) -(add_element string 29) -(set_function identifier 27 29) -(has_visible_flag 27) -(add_element string 30) -(is_of_mode 27 30) - -(add_element waveform 31) -(is_waveform_of 31 27) - -(is_port_of 27 2) -(add_element port 32) -(add_element string 33) -(set_function line 32 33) -(add_element string 7) -(set_function column 32 7) -(add_element string 34) -(set_function identifier 32 34) -(has_visible_flag 32) -(add_element string 30) -(is_of_mode 32 30) - -(add_element waveform 35) -(is_waveform_of 35 32) - -(is_port_of 32 2) -(add_element architecture 36) -(add_element string 37) -(set_function line 36 37) -(add_element string 33) -(set_function column 36 33) -(add_element string 38) -(set_function identifier 36 38) -(has_visible_flag 36) -(is_in_file 36 0) - -(add_element signal 39) -(add_element string 40) -(set_function line 39 40) -(add_element string 20) -(set_function column 39 20) -(add_element string 41) -(set_function identifier 39 41) -(has_visible_flag 39) -(add_element string 42) -(is_of_kind 39 42) - -(add_element waveform 43) -(is_waveform_of 43 39) - -(belongs_to_architecture 39 36) -(add_element signal 44) -(add_element string 45) -(set_function line 44 45) -(add_element string 20) -(set_function column 44 20) -(add_element string 46) -(set_function identifier 44 46) -(has_visible_flag 44) -(add_element string 42) -(is_of_kind 44 42) - -(add_element waveform 47) -(is_waveform_of 47 44) - -(belongs_to_architecture 44 36) -(add_element process 48) -(add_element string 49) -(set_function line 48 49) -(add_element string 50) -(set_function column 48 50) -(add_element string 51) -(set_function label 48 51) -(is_explicit_process 48) -(has_visible_flag 48) -(has_label 48) -(end_has_reserved_id 48) -(is_in_sensitivity_list 10 48) -(is_in_sensitivity_list 14 48) -(is_accessed_by 14 48) -(is_accessed_by 47 48) - -(is_accessed_by 10 48) -(is_accessed_by 43 48) -(is_accessed_by 18 48) -(is_accessed_by 47 48) -(is_accessed_by 47 48) -(is_accessed_by 10 48) -(is_accessed_by 14 48) - -(belongs_to_architecture 48 36) -(add_element process 66) -(add_element string 67) -(set_function line 66 67) -(add_element string 50) -(set_function column 66 50) -(add_element string 68) -(set_function label 66 68) -(is_explicit_process 66) -(has_visible_flag 66) -(has_label 66) -(end_has_reserved_id 66) -(is_in_sensitivity_list 10 66) -(is_in_sensitivity_list 14 66) -(is_accessed_by 14 66) -(is_accessed_by 43 66) - -(is_accessed_by 10 66) -(is_accessed_by 43 66) -(is_accessed_by 18 66) -(is_accessed_by 10 66) -(is_accessed_by 14 66) - -(belongs_to_architecture 66 36) -(add_element process 73) -(add_element string 74) -(set_function line 73 74) -(add_element string 50) -(set_function column 73 50) -(add_element string 56) -(set_function label 73 56) -(is_ref 73) -(is_in_sensitivity_list 22 73) -(is_in_sensitivity_list 47 73) -(is_accessed_by 35 73) -(is_accessed_by 22 73) -(is_accessed_by 47 73) - -(belongs_to_architecture 73 36) -(add_element process 76) -(add_element string 77) -(set_function line 76 77) -(add_element string 50) -(set_function column 76 50) -(add_element string 56) -(set_function label 76 56) -(is_ref 76) -(is_in_sensitivity_list 47 76) -(is_accessed_by 31 76) -(is_accessed_by 47 76) - -(belongs_to_architecture 76 36) -(is_architecture_of 36 2) -(add_element file 79) -(add_element string 80) -(set_function filename 79 80) -(add_element entity 81) -(add_element string 3) -(set_function line 81 3) -(add_element string 4) -(set_function column 81 4) -(add_element string 82) -(set_function identifier 81 82) -(has_visible_flag 81) -(end_has_identifier 81) -(is_in_file 81 79) - -(add_element port 83) -(add_element string 4) -(set_function line 83 4) -(add_element string 7) -(set_function column 83 7) -(add_element string 8) -(set_function identifier 83 8) -(has_visible_flag 83) -(add_element string 9) -(is_of_mode 83 9) - -(add_element waveform 84) -(is_waveform_of 84 83) - -(is_port_of 83 81) -(add_element port 85) -(add_element string 12) -(set_function line 85 12) -(add_element string 7) -(set_function column 85 7) -(add_element string 13) -(set_function identifier 85 13) -(has_visible_flag 85) -(add_element string 9) -(is_of_mode 85 9) - -(add_element waveform 86) -(is_waveform_of 86 85) - -(is_port_of 85 81) -(add_element port 87) -(add_element string 16) -(set_function line 87 16) -(add_element string 7) -(set_function column 87 7) -(add_element string 88) -(set_function identifier 87 88) -(has_visible_flag 87) -(add_element string 9) -(is_of_mode 87 9) - -(add_element waveform 89) -(is_waveform_of 89 87) - -(is_port_of 87 81) -(add_element port 90) -(add_element string 20) -(set_function line 90 20) -(add_element string 7) -(set_function column 90 7) -(add_element string 91) -(set_function identifier 90 91) -(has_visible_flag 90) -(add_element string 9) -(is_of_mode 90 9) - -(add_element waveform 92) -(is_waveform_of 92 90) - -(is_port_of 90 81) -(add_element port 93) -(add_element string 24) -(set_function line 93 24) -(add_element string 7) -(set_function column 93 7) -(add_element string 94) -(set_function identifier 93 94) -(has_visible_flag 93) -(add_element string 30) -(is_of_mode 93 30) - -(add_element waveform 95) -(is_waveform_of 95 93) - -(is_port_of 93 81) -(add_element port 96) -(add_element string 28) -(set_function line 96 28) -(add_element string 7) -(set_function column 96 7) -(add_element string 97) -(set_function identifier 96 97) -(has_visible_flag 96) -(add_element string 30) -(is_of_mode 96 30) - -(add_element waveform 98) -(is_waveform_of 98 96) - -(is_port_of 96 81) -(add_element port 99) -(add_element string 33) -(set_function line 99 33) -(add_element string 7) -(set_function column 99 7) -(add_element string 100) -(set_function identifier 99 100) -(has_visible_flag 99) -(add_element string 30) -(is_of_mode 99 30) - -(add_element waveform 101) -(is_waveform_of 101 99) - -(is_port_of 99 81) -(add_element port 102) -(add_element string 103) -(set_function line 102 103) -(add_element string 7) -(set_function column 102 7) -(add_element string 104) -(set_function identifier 102 104) -(has_visible_flag 102) -(add_element string 30) -(is_of_mode 102 30) - -(add_element waveform 105) -(is_waveform_of 105 102) - -(is_port_of 102 81) -(add_element port 106) -(add_element string 107) -(set_function line 106 107) -(add_element string 7) -(set_function column 106 7) -(add_element string 108) -(set_function identifier 106 108) -(has_visible_flag 106) -(add_element string 30) -(is_of_mode 106 30) - -(add_element waveform 109) -(is_waveform_of 109 106) - -(is_port_of 106 81) -(add_element architecture 110) -(add_element string 40) -(set_function line 110 40) -(add_element string 33) -(set_function column 110 33) -(add_element string 38) -(set_function identifier 110 38) -(has_visible_flag 110) -(is_in_file 110 79) - -(add_element signal 111) -(add_element string 112) -(set_function line 111 112) -(add_element string 20) -(set_function column 111 20) -(add_element string 113) -(set_function identifier 111 113) -(has_visible_flag 111) -(add_element string 42) -(is_of_kind 111 42) - -(add_element waveform 114) -(is_waveform_of 114 111) - -(belongs_to_architecture 111 110) -(add_element signal 115) -(add_element string 45) -(set_function line 115 45) -(add_element string 20) -(set_function column 115 20) -(add_element string 116) -(set_function identifier 115 116) -(has_visible_flag 115) -(add_element string 42) -(is_of_kind 115 42) - -(add_element waveform 117) -(is_waveform_of 117 115) - -(belongs_to_architecture 115 110) -(add_element signal 118) -(add_element string 119) -(set_function line 118 119) -(add_element string 20) -(set_function column 118 20) -(add_element string 120) -(set_function identifier 118 120) -(has_visible_flag 118) -(add_element string 42) -(is_of_kind 118 42) - -(add_element waveform 121) -(is_waveform_of 121 118) - -(belongs_to_architecture 118 110) -(add_element signal 122) -(add_element string 49) -(set_function line 122 49) -(add_element string 20) -(set_function column 122 20) -(add_element string 123) -(set_function identifier 122 123) -(has_visible_flag 122) -(add_element string 42) -(is_of_kind 122 42) - -(add_element waveform 124) -(is_waveform_of 124 122) - -(belongs_to_architecture 122 110) -(add_element signal 125) -(add_element string 126) -(set_function line 125 126) -(add_element string 20) -(set_function column 125 20) -(add_element string 127) -(set_function identifier 125 127) -(has_visible_flag 125) -(add_element string 42) -(is_of_kind 125 42) - -(add_element waveform 128) -(is_waveform_of 128 125) - -(belongs_to_architecture 125 110) -(add_element process 129) -(add_element string 130) -(set_function line 129 130) -(add_element string 50) -(set_function column 129 50) -(add_element string 131) -(set_function label 129 131) -(is_explicit_process 129) -(has_visible_flag 129) -(has_label 129) -(end_has_reserved_id 129) -(is_in_sensitivity_list 84 129) -(is_in_sensitivity_list 89 129) -(is_accessed_by 89 129) -(is_accessed_by 117 129) - -(is_accessed_by 84 129) -(is_accessed_by 92 129) -(is_accessed_by 114 129) -(is_accessed_by 117 129) -(is_accessed_by 117 129) -(is_accessed_by 117 129) -(is_accessed_by 117 129) -(is_accessed_by 84 129) -(is_accessed_by 89 129) - -(belongs_to_architecture 129 110) -(add_element process 139) -(add_element string 140) -(set_function line 139 140) -(add_element string 50) -(set_function column 139 50) -(add_element string 141) -(set_function label 139 141) -(is_explicit_process 139) -(has_visible_flag 139) -(has_label 139) -(end_has_reserved_id 139) -(is_in_sensitivity_list 84 139) -(is_in_sensitivity_list 89 139) -(is_accessed_by 89 139) -(is_accessed_by 121 139) - -(is_accessed_by 84 139) -(is_accessed_by 92 139) -(is_accessed_by 114 139) -(is_accessed_by 117 139) -(is_accessed_by 121 139) -(is_accessed_by 121 139) -(is_accessed_by 121 139) -(is_accessed_by 121 139) -(is_accessed_by 84 139) -(is_accessed_by 89 139) - -(belongs_to_architecture 139 110) -(add_element process 149) -(add_element string 150) -(set_function line 149 150) -(add_element string 50) -(set_function column 149 50) -(add_element string 151) -(set_function label 149 151) -(is_explicit_process 149) -(has_visible_flag 149) -(has_label 149) -(end_has_reserved_id 149) -(is_in_sensitivity_list 84 149) -(is_in_sensitivity_list 89 149) -(is_accessed_by 89 149) -(is_accessed_by 124 149) - -(is_accessed_by 84 149) -(is_accessed_by 92 149) -(is_accessed_by 114 149) -(is_accessed_by 121 149) -(is_accessed_by 117 149) -(is_accessed_by 124 149) -(is_accessed_by 124 149) -(is_accessed_by 124 149) -(is_accessed_by 124 149) -(is_accessed_by 84 149) -(is_accessed_by 89 149) - -(belongs_to_architecture 149 110) -(add_element process 159) -(add_element string 160) -(set_function line 159 160) -(add_element string 50) -(set_function column 159 50) -(add_element string 161) -(set_function label 159 161) -(is_explicit_process 159) -(has_visible_flag 159) -(has_label 159) -(end_has_reserved_id 159) -(is_in_sensitivity_list 84 159) -(is_in_sensitivity_list 89 159) -(is_accessed_by 89 159) -(is_accessed_by 128 159) - -(is_accessed_by 84 159) -(is_accessed_by 92 159) -(is_accessed_by 114 159) -(is_accessed_by 124 159) -(is_accessed_by 121 159) -(is_accessed_by 117 159) -(is_accessed_by 128 159) -(is_accessed_by 128 159) -(is_accessed_by 84 159) -(is_accessed_by 89 159) - -(belongs_to_architecture 159 110) -(add_element process 167) -(add_element string 168) -(set_function line 167 168) -(add_element string 50) -(set_function column 167 50) -(add_element string 56) -(set_function label 167 56) -(is_ref 167) -(is_in_sensitivity_list 128 167) -(is_in_sensitivity_list 124 167) -(is_in_sensitivity_list 121 167) -(is_in_sensitivity_list 117 167) -(is_accessed_by 128 167) -(is_accessed_by 124 167) -(is_accessed_by 121 167) -(is_accessed_by 117 167) -(is_accessed_by 114 167) - -(belongs_to_architecture 167 110) -(add_element process 173) -(add_element string 174) -(set_function line 173 174) -(add_element string 50) -(set_function column 173 50) -(add_element string 56) -(set_function label 173 56) -(is_ref 173) -(is_in_sensitivity_list 117 173) -(is_accessed_by 98 173) -(is_accessed_by 117 173) - -(belongs_to_architecture 173 110) -(add_element process 176) -(add_element string 177) -(set_function line 176 177) -(add_element string 50) -(set_function column 176 50) -(add_element string 56) -(set_function label 176 56) -(is_ref 176) -(is_in_sensitivity_list 121 176) -(is_accessed_by 101 176) -(is_accessed_by 121 176) - -(belongs_to_architecture 176 110) -(add_element process 179) -(add_element string 180) -(set_function line 179 180) -(add_element string 50) -(set_function column 179 50) -(add_element string 56) -(set_function label 179 56) -(is_ref 179) -(is_in_sensitivity_list 124 179) -(is_accessed_by 105 179) -(is_accessed_by 124 179) - -(belongs_to_architecture 179 110) -(add_element process 182) -(add_element string 183) -(set_function line 182 183) -(add_element string 50) -(set_function column 182 50) -(add_element string 56) -(set_function label 182 56) -(is_ref 182) -(is_in_sensitivity_list 128 182) -(is_accessed_by 109 182) -(is_accessed_by 128 182) - -(belongs_to_architecture 182 110) -(add_element process 185) -(add_element string 186) -(set_function line 185 186) -(add_element string 50) -(set_function column 185 50) -(add_element string 56) -(set_function label 185 56) -(is_ref 185) -(is_in_sensitivity_list 114 185) -(is_accessed_by 95 185) -(is_accessed_by 114 185) - -(belongs_to_architecture 185 110) -(is_architecture_of 110 81) -(add_element file 188) -(add_element string 189) -(set_function filename 188 189) -(add_element entity 190) -(add_element string 3) -(set_function line 190 3) -(add_element string 4) -(set_function column 190 4) -(add_element string 191) -(set_function identifier 190 191) -(has_visible_flag 190) -(end_has_identifier 190) -(is_in_file 190 188) - -(add_element port 192) -(add_element string 119) -(set_function line 192 119) -(add_element string 7) -(set_function column 192 7) -(add_element string 193) -(set_function identifier 192 193) -(has_visible_flag 192) -(add_element string 9) -(is_of_mode 192 9) - -(add_element waveform 194) -(is_waveform_of 194 192) - -(is_port_of 192 190) -(add_element port 195) -(add_element string 49) -(set_function line 195 49) -(add_element string 7) -(set_function column 195 7) -(add_element string 196) -(set_function identifier 195 196) -(has_visible_flag 195) -(add_element string 30) -(is_of_mode 195 30) - -(add_element waveform 197) -(is_waveform_of 197 195) - -(is_port_of 195 190) -(add_element generic 198) -(add_element string 12) -(set_function line 198 12) -(add_element string 7) -(set_function column 198 7) -(add_element string 199) -(set_function identifier 198 199) -(has_visible_flag 198) - -(is_generic_of 198 190) -(add_element generic 200) -(add_element string 16) -(set_function line 200 16) -(add_element string 7) -(set_function column 200 7) -(add_element string 201) -(set_function identifier 200 201) -(has_visible_flag 200) - -(is_generic_of 200 190) -(add_element generic 202) -(add_element string 20) -(set_function line 202 20) -(add_element string 7) -(set_function column 202 7) -(add_element string 203) -(set_function identifier 202 203) -(has_visible_flag 202) - -(is_generic_of 202 190) -(add_element generic 204) -(add_element string 24) -(set_function line 204 24) -(add_element string 7) -(set_function column 204 7) -(add_element string 205) -(set_function identifier 204 205) -(has_visible_flag 204) - -(is_generic_of 204 190) -(add_element generic 206) -(add_element string 28) -(set_function line 206 28) -(add_element string 7) -(set_function column 206 7) -(add_element string 207) -(set_function identifier 206 207) -(has_visible_flag 206) - -(is_generic_of 206 190) -(add_element generic 208) -(add_element string 33) -(set_function line 208 33) -(add_element string 7) -(set_function column 208 7) -(add_element string 209) -(set_function identifier 208 209) -(has_visible_flag 208) - -(is_generic_of 208 190) -(add_element generic 210) -(add_element string 103) -(set_function line 210 103) -(add_element string 7) -(set_function column 210 7) -(add_element string 211) -(set_function identifier 210 211) -(has_visible_flag 210) - -(is_generic_of 210 190) -(add_element generic 212) -(add_element string 107) -(set_function line 212 107) -(add_element string 7) -(set_function column 212 7) -(add_element string 213) -(set_function identifier 212 213) -(has_visible_flag 212) - -(is_generic_of 212 190) -(add_element generic 214) -(add_element string 215) -(set_function line 214 215) -(add_element string 7) -(set_function column 214 7) -(add_element string 216) -(set_function identifier 214 216) -(has_visible_flag 214) - -(is_generic_of 214 190) -(add_element generic 217) -(add_element string 37) -(set_function line 217 37) -(add_element string 7) -(set_function column 217 7) -(add_element string 218) -(set_function identifier 217 218) -(has_visible_flag 217) - -(is_generic_of 217 190) -(add_element generic 219) -(add_element string 220) -(set_function line 219 220) -(add_element string 7) -(set_function column 219 7) -(add_element string 221) -(set_function identifier 219 221) -(has_visible_flag 219) - -(is_generic_of 219 190) -(add_element architecture 222) -(add_element string 223) -(set_function line 222 223) -(add_element string 33) -(set_function column 222 33) -(add_element string 38) -(set_function identifier 222 38) -(has_visible_flag 222) -(is_in_file 222 188) - -(add_element process 224) -(add_element string 225) -(set_function line 224 225) -(add_element string 50) -(set_function column 224 50) -(add_element string 56) -(set_function label 224 56) -(is_ref 224) -(is_in_sensitivity_list 194 224) -(is_accessed_by 197 224) -(is_accessed_by 194 224) - -(belongs_to_architecture 224 222) -(is_architecture_of 222 190) -(add_element file 264) -(add_element string 265) -(set_function filename 264 265) -(add_element entity 266) -(add_element string 3) -(set_function line 266 3) -(add_element string 4) -(set_function column 266 4) -(add_element string 267) -(set_function identifier 266 267) -(has_visible_flag 266) -(end_has_identifier 266) -(is_in_file 266 264) - -(add_element port 268) -(add_element string 103) -(set_function line 268 103) -(add_element string 7) -(set_function column 268 7) -(add_element string 8) -(set_function identifier 268 8) -(has_visible_flag 268) -(add_element string 9) -(is_of_mode 268 9) - -(add_element waveform 269) -(is_waveform_of 269 268) - -(is_port_of 268 266) -(add_element port 270) -(add_element string 107) -(set_function line 270 107) -(add_element string 7) -(set_function column 270 7) -(add_element string 13) -(set_function identifier 270 13) -(has_visible_flag 270) -(add_element string 9) -(is_of_mode 270 9) - -(add_element waveform 271) -(is_waveform_of 271 270) - -(is_port_of 270 266) -(add_element port 272) -(add_element string 215) -(set_function line 272 215) -(add_element string 7) -(set_function column 272 7) -(add_element string 273) -(set_function identifier 272 273) -(has_visible_flag 272) -(add_element string 9) -(is_of_mode 272 9) - -(add_element waveform 274) -(is_waveform_of 274 272) - -(is_port_of 272 266) -(add_element port 275) -(add_element string 37) -(set_function line 275 37) -(add_element string 7) -(set_function column 275 7) -(add_element string 276) -(set_function identifier 275 276) -(has_visible_flag 275) -(add_element string 9) -(is_of_mode 275 9) - -(add_element waveform 277) -(is_waveform_of 277 275) - -(is_port_of 275 266) -(add_element port 278) -(add_element string 220) -(set_function line 278 220) -(add_element string 7) -(set_function column 278 7) -(add_element string 279) -(set_function identifier 278 279) -(has_visible_flag 278) -(add_element string 9) -(is_of_mode 278 9) - -(add_element waveform 280) -(is_waveform_of 280 278) - -(is_port_of 278 266) -(add_element port 281) -(add_element string 40) -(set_function line 281 40) -(add_element string 7) -(set_function column 281 7) -(add_element string 282) -(set_function identifier 281 282) -(has_visible_flag 281) -(add_element string 9) -(is_of_mode 281 9) - -(add_element waveform 283) -(is_waveform_of 283 281) - -(is_port_of 281 266) -(add_element port 284) -(add_element string 112) -(set_function line 284 112) -(add_element string 7) -(set_function column 284 7) -(add_element string 196) -(set_function identifier 284 196) -(has_visible_flag 284) -(add_element string 30) -(is_of_mode 284 30) - -(add_element waveform 285) -(is_waveform_of 285 284) - -(is_port_of 284 266) -(add_element port 286) -(add_element string 45) -(set_function line 286 45) -(add_element string 7) -(set_function column 286 7) -(add_element string 287) -(set_function identifier 286 287) -(has_visible_flag 286) -(add_element string 30) -(is_of_mode 286 30) - -(add_element waveform 288) -(is_waveform_of 288 286) - -(is_port_of 286 266) -(add_element generic 289) -(add_element string 20) -(set_function line 289 20) -(add_element string 7) -(set_function column 289 7) -(add_element string 290) -(set_function identifier 289 290) -(has_visible_flag 289) - -(is_generic_of 289 266) -(add_element architecture 291) -(add_element string 292) -(set_function line 291 292) -(add_element string 33) -(set_function column 291 33) -(add_element string 38) -(set_function identifier 291 38) -(has_visible_flag 291) -(is_in_file 291 264) - -(add_element signal 293) -(add_element string 294) -(set_function line 293 294) -(add_element string 20) -(set_function column 293 20) -(add_element string 295) -(set_function identifier 293 295) -(has_visible_flag 293) -(add_element string 42) -(is_of_kind 293 42) - -(add_element waveform 296) -(is_waveform_of 296 293) - -(belongs_to_architecture 293 291) -(add_element signal 297) -(add_element string 298) -(set_function line 297 298) -(add_element string 20) -(set_function column 297 20) -(add_element string 299) -(set_function identifier 297 299) -(has_visible_flag 297) -(add_element string 42) -(is_of_kind 297 42) - -(add_element waveform 300) -(is_waveform_of 300 297) - -(belongs_to_architecture 297 291) -(add_element signal 301) -(add_element string 302) -(set_function line 301 302) -(add_element string 20) -(set_function column 301 20) -(add_element string 303) -(set_function identifier 301 303) -(has_visible_flag 301) -(add_element string 42) -(is_of_kind 301 42) - -(add_element waveform 304) -(is_waveform_of 304 301) - -(belongs_to_architecture 301 291) -(add_element process 305) -(add_element string 306) -(set_function line 305 306) -(add_element string 50) -(set_function column 305 50) -(add_element string 307) -(set_function label 305 307) -(is_explicit_process 305) -(has_visible_flag 305) -(has_label 305) -(end_has_reserved_id 305) -(is_in_sensitivity_list 300 305) -(is_in_sensitivity_list 274 305) -(is_in_sensitivity_list 277 305) -(is_in_sensitivity_list 280 305) -(is_in_sensitivity_list 283 305) -(is_accessed_by 288 305) -(is_accessed_by 288 305) -(is_accessed_by 296 305) -(is_accessed_by 285 305) -(is_accessed_by 274 305) -(is_accessed_by 288 305) -(is_accessed_by 296 305) -(is_accessed_by 285 305) -(is_accessed_by 277 305) -(is_accessed_by 288 305) -(is_accessed_by 296 305) -(is_accessed_by 285 305) -(is_accessed_by 280 305) -(is_accessed_by 288 305) -(is_accessed_by 296 305) -(is_accessed_by 285 305) -(is_accessed_by 283 305) -(is_accessed_by 300 305) -(is_accessed_by 300 305) -(is_accessed_by 274 305) -(is_accessed_by 277 305) -(is_accessed_by 280 305) -(is_accessed_by 283 305) - -(belongs_to_architecture 305 291) -(add_element process 334) -(add_element string 335) -(set_function line 334 335) -(add_element string 50) -(set_function column 334 50) -(add_element string 336) -(set_function label 334 336) -(is_explicit_process 334) -(has_visible_flag 334) -(has_label 334) -(end_has_reserved_id 334) -(is_in_sensitivity_list 269 334) -(is_in_sensitivity_list 271 334) -(is_accessed_by 271 334) -(is_accessed_by 304 334) -(is_accessed_by 269 334) -(is_accessed_by 304 334) -(is_accessed_by 304 334) -(is_accessed_by 304 334) -(is_accessed_by 304 334) -(is_accessed_by 269 334) -(is_accessed_by 271 334) - -(belongs_to_architecture 334 291) -(add_element process 344) -(add_element string 345) -(set_function line 344 345) -(add_element string 50) -(set_function column 344 50) -(add_element string 346) -(set_function label 344 346) -(is_explicit_process 344) -(has_visible_flag 344) -(has_label 344) -(end_has_reserved_id 344) -(is_in_sensitivity_list 269 344) -(is_in_sensitivity_list 271 344) -(is_accessed_by 271 344) -(is_accessed_by 300 344) -(is_accessed_by 269 344) -(is_accessed_by 304 344) -(is_accessed_by 300 344) -(is_accessed_by 296 344) -(is_accessed_by 269 344) -(is_accessed_by 271 344) - -(belongs_to_architecture 344 291) -(is_architecture_of 291 266) -(add_element file 352) -(add_element string 353) -(set_function filename 352 353) -(add_element entity 354) -(add_element string 3) -(set_function line 354 3) -(add_element string 4) -(set_function column 354 4) -(add_element string 355) -(set_function identifier 354 355) -(has_visible_flag 354) -(end_has_identifier 354) -(is_in_file 354 352) - -(add_element port 356) -(add_element string 4) -(set_function line 356 4) -(add_element string 7) -(set_function column 356 7) -(add_element string 8) -(set_function identifier 356 8) -(has_visible_flag 356) -(add_element string 9) -(is_of_mode 356 9) - -(add_element waveform 357) -(is_waveform_of 357 356) - -(is_port_of 356 354) -(add_element port 358) -(add_element string 12) -(set_function line 358 12) -(add_element string 7) -(set_function column 358 7) -(add_element string 13) -(set_function identifier 358 13) -(has_visible_flag 358) -(add_element string 9) -(is_of_mode 358 9) - -(add_element waveform 359) -(is_waveform_of 359 358) - -(is_port_of 358 354) -(add_element port 360) -(add_element string 16) -(set_function line 360 16) -(add_element string 7) -(set_function column 360 7) -(add_element string 361) -(set_function identifier 360 361) -(has_visible_flag 360) -(add_element string 9) -(is_of_mode 360 9) - -(add_element waveform 362) -(is_waveform_of 362 360) - -(is_port_of 360 354) -(add_element port 363) -(add_element string 20) -(set_function line 363 20) -(add_element string 7) -(set_function column 363 7) -(add_element string 364) -(set_function identifier 363 364) -(has_visible_flag 363) -(add_element string 30) -(is_of_mode 363 30) - -(add_element waveform 365) -(is_waveform_of 365 363) - -(is_port_of 363 354) -(add_element architecture 366) -(add_element string 103) -(set_function line 366 103) -(add_element string 33) -(set_function column 366 33) -(add_element string 38) -(set_function identifier 366 38) -(has_visible_flag 366) -(is_in_file 366 352) - -(add_element signal 367) -(add_element string 107) -(set_function line 367 107) -(add_element string 20) -(set_function column 367 20) -(add_element string 368) -(set_function identifier 367 368) -(has_visible_flag 367) -(add_element string 42) -(is_of_kind 367 42) - -(add_element waveform 369) -(is_waveform_of 369 367) - -(belongs_to_architecture 367 366) -(add_element signal 370) -(add_element string 215) -(set_function line 370 215) -(add_element string 20) -(set_function column 370 20) -(add_element string 371) -(set_function identifier 370 371) -(has_visible_flag 370) -(add_element string 42) -(is_of_kind 370 42) - -(add_element waveform 372) -(is_waveform_of 372 370) - -(belongs_to_architecture 370 366) -(add_element process 373) -(add_element string 220) -(set_function line 373 220) -(add_element string 50) -(set_function column 373 50) -(add_element string 374) -(set_function label 373 374) -(is_explicit_process 373) -(has_visible_flag 373) -(has_label 373) -(end_has_reserved_id 373) -(is_in_sensitivity_list 357 373) -(is_in_sensitivity_list 359 373) -(is_accessed_by 359 373) -(is_accessed_by 369 373) -(is_accessed_by 357 373) -(is_accessed_by 369 373) -(is_accessed_by 362 373) -(is_accessed_by 357 373) -(is_accessed_by 359 373) - -(belongs_to_architecture 373 366) -(add_element process 379) -(add_element string 380) -(set_function line 379 380) -(add_element string 50) -(set_function column 379 50) -(add_element string 381) -(set_function label 379 381) -(is_explicit_process 379) -(has_visible_flag 379) -(has_label 379) -(end_has_reserved_id 379) -(is_in_sensitivity_list 357 379) -(is_in_sensitivity_list 359 379) -(is_accessed_by 359 379) -(is_accessed_by 372 379) - -(is_accessed_by 357 379) -(is_accessed_by 372 379) -(is_accessed_by 362 379) -(is_accessed_by 357 379) -(is_accessed_by 359 379) - -(belongs_to_architecture 379 366) -(add_element process 386) -(add_element string 387) -(set_function line 386 387) -(add_element string 50) -(set_function column 386 50) -(add_element string 56) -(set_function label 386 56) -(is_ref 386) -(is_in_sensitivity_list 372 386) -(is_accessed_by 365 386) -(is_accessed_by 372 386) - -(belongs_to_architecture 386 366) -(is_architecture_of 366 354) -(add_element file 389) -(add_element string 390) -(set_function filename 389 390) -(add_element entity 391) -(add_element string 3) -(set_function line 391 3) -(add_element string 4) -(set_function column 391 4) -(add_element string 392) -(set_function identifier 391 392) -(has_visible_flag 391) -(end_has_identifier 391) -(is_in_file 391 389) - -(add_element port 393) -(add_element string 103) -(set_function line 393 103) -(add_element string 7) -(set_function column 393 7) -(add_element string 8) -(set_function identifier 393 8) -(has_visible_flag 393) -(add_element string 9) -(is_of_mode 393 9) - -(add_element waveform 394) -(is_waveform_of 394 393) - -(is_port_of 393 391) -(add_element port 395) -(add_element string 107) -(set_function line 395 107) -(add_element string 7) -(set_function column 395 7) -(add_element string 13) -(set_function identifier 395 13) -(has_visible_flag 395) -(add_element string 9) -(is_of_mode 395 9) - -(add_element waveform 396) -(is_waveform_of 396 395) - -(is_port_of 395 391) -(add_element port 397) -(add_element string 215) -(set_function line 397 215) -(add_element string 7) -(set_function column 397 7) -(add_element string 88) -(set_function identifier 397 88) -(has_visible_flag 397) -(add_element string 9) -(is_of_mode 397 9) - -(add_element waveform 398) -(is_waveform_of 398 397) - -(is_port_of 397 391) -(add_element port 399) -(add_element string 37) -(set_function line 399 37) -(add_element string 7) -(set_function column 399 7) -(add_element string 400) -(set_function identifier 399 400) -(has_visible_flag 399) -(add_element string 9) -(is_of_mode 399 9) - -(add_element waveform 401) -(is_waveform_of 401 399) - -(is_port_of 399 391) -(add_element port 402) -(add_element string 220) -(set_function line 402 220) -(add_element string 7) -(set_function column 402 7) -(add_element string 403) -(set_function identifier 402 403) -(has_visible_flag 402) -(add_element string 30) -(is_of_mode 402 30) - -(add_element waveform 404) -(is_waveform_of 404 402) - -(is_port_of 402 391) -(add_element generic 405) -(add_element string 20) -(set_function line 405 20) -(add_element string 7) -(set_function column 405 7) -(add_element string 406) -(set_function identifier 405 406) -(has_visible_flag 405) - -(is_generic_of 405 391) -(add_element architecture 407) -(add_element string 119) -(set_function line 407 119) -(add_element string 33) -(set_function column 407 33) -(add_element string 38) -(set_function identifier 407 38) -(has_visible_flag 407) -(is_in_file 407 389) - -(add_element signal 408) -(add_element string 292) -(set_function line 408 292) -(add_element string 20) -(set_function column 408 20) -(add_element string 409) -(set_function identifier 408 409) -(has_visible_flag 408) -(add_element string 42) -(is_of_kind 408 42) - -(add_element waveform 410) -(is_waveform_of 410 408) - -(belongs_to_architecture 408 407) -(add_element process 411) -(add_element string 223) -(set_function line 411 223) -(add_element string 50) -(set_function column 411 50) -(add_element string 336) -(set_function label 411 336) -(is_explicit_process 411) -(has_visible_flag 411) -(has_label 411) -(end_has_reserved_id 411) -(is_in_sensitivity_list 394 411) -(is_in_sensitivity_list 396 411) -(is_accessed_by 396 411) -(is_accessed_by 410 411) - -(is_accessed_by 394 411) -(is_accessed_by 398 411) -(is_accessed_by 410 411) -(is_accessed_by 401 411) -(is_accessed_by 410 411) -(is_accessed_by 410 411) -(is_accessed_by 401 411) -(is_accessed_by 410 411) -(is_accessed_by 410 411) -(is_accessed_by 394 411) -(is_accessed_by 396 411) - -(belongs_to_architecture 411 407) -(add_element process 421) -(add_element string 422) -(set_function line 421 422) -(add_element string 50) -(set_function column 421 50) -(add_element string 56) -(set_function label 421 56) -(is_ref 421) -(is_in_sensitivity_list 401 421) -(is_in_sensitivity_list 410 421) -(is_accessed_by 410 421) -(is_accessed_by 404 421) -(is_accessed_by 401 421) - -(belongs_to_architecture 421 407) -(is_architecture_of 407 391) -(add_element file 427) -(add_element string 428) -(set_function filename 427 428) -(add_element entity 429) -(add_element string 12) -(set_function line 429 12) -(add_element string 4) -(set_function column 429 4) -(add_element string 430) -(set_function identifier 429 430) -(has_visible_flag 429) -(end_has_identifier 429) -(is_in_file 429 427) - -(add_element port 431) -(add_element string 24) -(set_function line 431 24) -(add_element string 7) -(set_function column 431 7) -(add_element string 8) -(set_function identifier 431 8) -(has_visible_flag 431) -(add_element string 9) -(is_of_mode 431 9) - -(add_element waveform 432) -(is_waveform_of 432 431) - -(is_port_of 431 429) -(add_element port 433) -(add_element string 28) -(set_function line 433 28) -(add_element string 7) -(set_function column 433 7) -(add_element string 13) -(set_function identifier 433 13) -(has_visible_flag 433) -(add_element string 9) -(is_of_mode 433 9) - -(add_element waveform 434) -(is_waveform_of 434 433) - -(is_port_of 433 429) -(add_element port 435) -(add_element string 33) -(set_function line 435 33) -(add_element string 7) -(set_function column 435 7) -(add_element string 436) -(set_function identifier 435 436) -(has_visible_flag 435) -(add_element string 9) -(is_of_mode 435 9) - -(add_element waveform 437) -(is_waveform_of 437 435) - -(is_port_of 435 429) -(add_element port 438) -(add_element string 103) -(set_function line 438 103) -(add_element string 7) -(set_function column 438 7) -(add_element string 439) -(set_function identifier 438 439) -(has_visible_flag 438) -(add_element string 9) -(is_of_mode 438 9) - -(add_element waveform 440) -(is_waveform_of 440 438) - -(is_port_of 438 429) -(add_element port 441) -(add_element string 107) -(set_function line 441 107) -(add_element string 7) -(set_function column 441 7) -(add_element string 196) -(set_function identifier 441 196) -(has_visible_flag 441) -(add_element string 30) -(is_of_mode 441 30) - -(add_element waveform 442) -(is_waveform_of 442 441) - -(is_port_of 441 429) -(add_element port 443) -(add_element string 215) -(set_function line 443 215) -(add_element string 7) -(set_function column 443 7) -(add_element string 287) -(set_function identifier 443 287) -(has_visible_flag 443) -(add_element string 30) -(is_of_mode 443 30) - -(add_element waveform 444) -(is_waveform_of 444 443) - -(is_port_of 443 429) -(add_element architecture 445) -(add_element string 112) -(set_function line 445 112) -(add_element string 33) -(set_function column 445 33) -(add_element string 38) -(set_function identifier 445 38) -(has_visible_flag 445) -(is_in_file 445 427) - -(add_element signal 446) -(add_element string 119) -(set_function line 446 119) -(add_element string 20) -(set_function column 446 20) -(add_element string 447) -(set_function identifier 446 447) -(has_visible_flag 446) -(add_element string 42) -(is_of_kind 446 42) - -(add_element waveform 448) -(is_waveform_of 448 446) - -(belongs_to_architecture 446 445) -(add_element signal 449) -(add_element string 49) -(set_function line 449 49) -(add_element string 20) -(set_function column 449 20) -(add_element string 450) -(set_function identifier 449 450) -(has_visible_flag 449) -(add_element string 42) -(is_of_kind 449 42) - -(add_element waveform 451) -(is_waveform_of 451 449) - -(belongs_to_architecture 449 445) -(add_element signal 452) -(add_element string 126) -(set_function line 452 126) -(add_element string 20) -(set_function column 452 20) -(add_element string 453) -(set_function identifier 452 453) -(has_visible_flag 452) -(add_element string 42) -(is_of_kind 452 42) - -(add_element waveform 454) -(is_waveform_of 454 452) - -(belongs_to_architecture 452 445) -(add_element signal 455) -(add_element string 292) -(set_function line 455 292) -(add_element string 20) -(set_function column 455 20) -(add_element string 113) -(set_function identifier 455 113) -(has_visible_flag 455) -(add_element string 42) -(is_of_kind 455 42) - -(add_element waveform 456) -(is_waveform_of 456 455) - -(belongs_to_architecture 455 445) -(add_element signal 457) -(add_element string 130) -(set_function line 457 130) -(add_element string 20) -(set_function column 457 20) -(add_element string 458) -(set_function identifier 457 458) -(has_visible_flag 457) -(add_element string 42) -(is_of_kind 457 42) - -(add_element waveform 459) -(is_waveform_of 459 457) - -(belongs_to_architecture 457 445) -(add_element signal 460) -(add_element string 223) -(set_function line 460 223) -(add_element string 20) -(set_function column 460 20) -(add_element string 461) -(set_function identifier 460 461) -(has_visible_flag 460) -(add_element string 42) -(is_of_kind 460 42) - -(add_element waveform 462) -(is_waveform_of 462 460) - -(belongs_to_architecture 460 445) -(add_element signal 463) -(add_element string 464) -(set_function line 463 464) -(add_element string 20) -(set_function column 463 20) -(add_element string 465) -(set_function identifier 463 465) -(has_visible_flag 463) -(add_element string 42) -(is_of_kind 463 42) - -(add_element waveform 466) -(is_waveform_of 466 463) - -(belongs_to_architecture 463 445) -(add_element signal 467) -(add_element string 468) -(set_function line 467 468) -(add_element string 20) -(set_function column 467 20) -(add_element string 469) -(set_function identifier 467 469) -(has_visible_flag 467) -(add_element string 42) -(is_of_kind 467 42) - -(add_element waveform 470) -(is_waveform_of 470 467) - -(belongs_to_architecture 467 445) -(add_element signal 471) -(add_element string 225) -(set_function line 471 225) -(add_element string 20) -(set_function column 471 20) -(add_element string 472) -(set_function identifier 471 472) -(has_visible_flag 471) -(add_element string 42) -(is_of_kind 471 42) - -(add_element waveform 473) -(is_waveform_of 473 471) - -(belongs_to_architecture 471 445) -(add_element signal 474) -(add_element string 380) -(set_function line 474 380) -(add_element string 20) -(set_function column 474 20) -(add_element string 475) -(set_function identifier 474 475) -(has_visible_flag 474) -(add_element string 42) -(is_of_kind 474 42) - -(add_element waveform 476) -(is_waveform_of 476 474) - -(belongs_to_architecture 474 445) -(add_element signal 477) -(add_element string 478) -(set_function line 477 478) -(add_element string 20) -(set_function column 477 20) -(add_element string 479) -(set_function identifier 477 479) -(has_visible_flag 477) -(add_element string 42) -(is_of_kind 477 42) - -(add_element waveform 480) -(is_waveform_of 480 477) - -(belongs_to_architecture 477 445) -(add_element component 481) -(add_element string 180) -(set_function line 481 180) -(add_element string 50) -(set_function column 481 50) -(add_element string 482) -(set_function label 481 482) -(is_component_of 481 354) -(port_maps 481 432 356) -(port_maps 481 434 358) -(port_maps 481 437 360) -(port_maps 481 459 363) -(belongs_to_architecture 481 445) -(add_element component 483) -(add_element string 484) -(set_function line 483 484) -(add_element string 50) -(set_function column 483 50) -(add_element string 485) -(set_function label 483 485) -(is_component_of 483 354) -(port_maps 483 432 356) -(port_maps 483 434 358) -(port_maps 483 440 360) -(port_maps 483 462 363) -(belongs_to_architecture 483 445) -(add_element component 486) -(add_element string 487) -(set_function line 486 487) -(add_element string 50) -(set_function column 486 50) -(add_element string 488) -(set_function label 486 488) -(is_component_of 486 391) -(port_maps 486 432 393) -(port_maps 486 434 395) -(port_maps 486 451 397) -(port_maps 486 454 399) -(port_maps 486 448 402) -(belongs_to_architecture 486 445) -(add_element component 489) -(add_element string 490) -(set_function line 489 490) -(add_element string 50) -(set_function column 489 50) -(add_element string 491) -(set_function label 489 491) -(is_component_of 489 266) -(port_maps 489 432 268) -(port_maps 489 434 270) -(port_maps 489 470 272) -(port_maps 489 473 275) -(port_maps 489 476 278) -(port_maps 489 480 281) -(port_maps 489 466 284) -(port_maps 489 444 286) -(belongs_to_architecture 489 445) -(add_element component 492) -(add_element string 493) -(set_function line 492 493) -(add_element string 50) -(set_function column 492 50) -(add_element string 494) -(set_function label 492 494) -(is_component_of 492 190) -(port_maps 492 466 192) -(port_maps 492 442 195) -(belongs_to_architecture 492 445) -(add_element component 495) -(add_element string 496) -(set_function line 495 496) -(add_element string 50) -(set_function column 495 50) -(add_element string 497) -(set_function label 495 497) -(is_component_of 495 81) -(port_maps 495 432 83) -(port_maps 495 434 85) -(port_maps 495 451 87) -(port_maps 495 448 90) -(port_maps 495 456 93) -(port_maps 495 470 96) -(port_maps 495 473 99) -(port_maps 495 476 102) -(port_maps 495 480 106) -(belongs_to_architecture 495 445) -(add_element component 498) -(add_element string 499) -(set_function line 498 499) -(add_element string 50) -(set_function column 498 50) -(add_element string 500) -(set_function label 498 500) -(is_component_of 498 2) -(port_maps 498 432 6) -(port_maps 498 434 11) -(port_maps 498 459 15) -(port_maps 498 462 19) -(port_maps 498 456 23) -(port_maps 498 454 27) -(port_maps 498 451 32) -(belongs_to_architecture 498 445) -(is_architecture_of 445 429) diff --git a/data/instructions/example_process.pl b/data/instructions/example_process.pl deleted file mode 100644 index 17eb9f0..0000000 --- a/data/instructions/example_process.pl +++ /dev/null @@ -1,208 +0,0 @@ -(add_element node 237) -(expr_reads 237 192) -(add_element string 56) -(set_attribute label 237 56) -(add_element string 238) -(set_attribute kind 237 238) -(set_attribute depth 237 1) -(add_element node 239) -(node_connect 237 239) -(add_element string 56) -(set_attribute label 239 56) -(add_element string 240) -(set_attribute kind 239 240) -(add_element string 241) -(add_option 239 241) -(set_attribute depth 239 2) -(add_element node 242) -(node_connect 239 242) -(add_element string 56) -(set_attribute label 242 56) -(add_element string 59) -(set_attribute kind 242 59) -(add_element string 60) -(add_option 242 60) -(set_attribute depth 242 3) -(expr_writes 242 243) -(expr_reads 242 219) -(add_element node 244) -(node_connect 237 244) -(add_element string 56) -(set_attribute label 244 56) -(add_element string 240) -(set_attribute kind 244 240) -(set_attribute depth 244 2) -(add_element node 245) -(node_connect 244 245) -(add_element string 56) -(set_attribute label 245 56) -(add_element string 59) -(set_attribute kind 245 59) -(add_element string 60) -(add_option 245 60) -(set_attribute depth 245 3) -(expr_writes 245 195) -(expr_reads 245 198) -(add_element node 246) -(node_connect 237 246) -(add_element string 56) -(set_attribute label 246 56) -(add_element string 240) -(set_attribute kind 246 240) -(set_attribute depth 246 2) -(add_element node 247) -(node_connect 246 247) -(add_element string 56) -(set_attribute label 247 56) -(add_element string 59) -(set_attribute kind 247 59) -(add_element string 60) -(add_option 247 60) -(set_attribute depth 247 3) -(expr_writes 247 243) -(expr_reads 247 200) -(add_element node 248) -(node_connect 237 248) -(add_element string 56) -(set_attribute label 248 56) -(add_element string 240) -(set_attribute kind 248 240) -(set_attribute depth 248 2) -(add_element node 249) -(node_connect 248 249) -(add_element string 56) -(set_attribute label 249 56) -(add_element string 59) -(set_attribute kind 249 59) -(add_element string 60) -(add_option 249 60) -(set_attribute depth 249 3) -(expr_writes 249 243) -(expr_reads 249 202) -(add_element node 250) -(node_connect 237 250) -(add_element string 56) -(set_attribute label 250 56) -(add_element string 240) -(set_attribute kind 250 240) -(set_attribute depth 250 2) -(add_element node 251) -(node_connect 250 251) -(add_element string 56) -(set_attribute label 251 56) -(add_element string 59) -(set_attribute kind 251 59) -(add_element string 60) -(add_option 251 60) -(set_attribute depth 251 3) -(expr_writes 251 243) -(expr_reads 251 204) -(add_element node 252) -(node_connect 237 252) -(add_element string 56) -(set_attribute label 252 56) -(add_element string 240) -(set_attribute kind 252 240) -(set_attribute depth 252 2) -(add_element node 253) -(node_connect 252 253) -(add_element string 56) -(set_attribute label 253 56) -(add_element string 59) -(set_attribute kind 253 59) -(add_element string 60) -(add_option 253 60) -(set_attribute depth 253 3) -(expr_writes 253 243) -(expr_reads 253 206) -(add_element node 254) -(node_connect 237 254) -(add_element string 56) -(set_attribute label 254 56) -(add_element string 240) -(set_attribute kind 254 240) -(set_attribute depth 254 2) -(add_element node 255) -(node_connect 254 255) -(add_element string 56) -(set_attribute label 255 56) -(add_element string 59) -(set_attribute kind 255 59) -(add_element string 60) -(add_option 255 60) -(set_attribute depth 255 3) -(expr_writes 255 243) -(expr_reads 255 208) -(add_element node 256) -(node_connect 237 256) -(add_element string 56) -(set_attribute label 256 56) -(add_element string 240) -(set_attribute kind 256 240) -(set_attribute depth 256 2) -(add_element node 257) -(node_connect 256 257) -(add_element string 56) -(set_attribute label 257 56) -(add_element string 59) -(set_attribute kind 257 59) -(add_element string 60) -(add_option 257 60) -(set_attribute depth 257 3) -(expr_writes 257 243) -(expr_reads 257 210) -(add_element node 258) -(node_connect 237 258) -(add_element string 56) -(set_attribute label 258 56) -(add_element string 240) -(set_attribute kind 258 240) -(set_attribute depth 258 2) -(add_element node 259) -(node_connect 258 259) -(add_element string 56) -(set_attribute label 259 56) -(add_element string 59) -(set_attribute kind 259 59) -(add_element string 60) -(add_option 259 60) -(set_attribute depth 259 3) -(expr_writes 259 243) -(expr_reads 259 212) -(add_element node 260) -(node_connect 237 260) -(add_element string 56) -(set_attribute label 260 56) -(add_element string 240) -(set_attribute kind 260 240) -(set_attribute depth 260 2) -(add_element node 261) -(node_connect 260 261) -(add_element string 56) -(set_attribute label 261 56) -(add_element string 59) -(set_attribute kind 261 59) -(add_element string 60) -(add_option 261 60) -(set_attribute depth 261 3) -(expr_writes 261 243) -(expr_reads 261 214) -(add_element node 262) -(node_connect 237 262) -(add_element string 56) -(set_attribute label 262 56) -(add_element string 240) -(set_attribute kind 262 240) -(set_attribute depth 262 2) -(add_element node 263) -(node_connect 262 263) -(add_element string 56) -(set_attribute label 263 56) -(add_element string 59) -(set_attribute kind 263 59) -(add_element string 60) -(add_option 263 60) -(set_attribute depth 263 3) -(expr_writes 263 243) -(expr_reads 263 217) - diff --git a/data/instructions/example_process.pl.kk b/data/instructions/example_process.pl.kk deleted file mode 100644 index c4f07b3..0000000 --- a/data/instructions/example_process.pl.kk +++ /dev/null @@ -1,88 +0,0 @@ -(add_element path p237_0) -(is_path_of p237_0 237) -(contains_node p237_0 262) -(is_before p237_0 262 263) -(contains_node p237_0 263) -(add_element path p237_1) -(is_path_of p237_1 262) -(contains_node p237_1 263) -(add_element path p237_2) -(is_path_of p237_2 237) -(contains_node p237_2 260) -(is_before p237_2 260 261) -(contains_node p237_2 261) -(add_element path p237_3) -(is_path_of p237_3 260) -(contains_node p237_3 261) -(add_element path p237_4) -(is_path_of p237_4 237) -(contains_node p237_4 258) -(is_before p237_4 258 259) -(contains_node p237_4 259) -(add_element path p237_5) -(is_path_of p237_5 258) -(contains_node p237_5 259) -(add_element path p237_6) -(is_path_of p237_6 237) -(contains_node p237_6 256) -(is_before p237_6 256 257) -(contains_node p237_6 257) -(add_element path p237_7) -(is_path_of p237_7 256) -(contains_node p237_7 257) -(add_element path p237_8) -(is_path_of p237_8 237) -(contains_node p237_8 254) -(is_before p237_8 254 255) -(contains_node p237_8 255) -(add_element path p237_9) -(is_path_of p237_9 254) -(contains_node p237_9 255) -(add_element path p237_10) -(is_path_of p237_10 237) -(contains_node p237_10 252) -(is_before p237_10 252 253) -(contains_node p237_10 253) -(add_element path p237_11) -(is_path_of p237_11 252) -(contains_node p237_11 253) -(add_element path p237_12) -(is_path_of p237_12 237) -(contains_node p237_12 250) -(is_before p237_12 250 251) -(contains_node p237_12 251) -(add_element path p237_13) -(is_path_of p237_13 250) -(contains_node p237_13 251) -(add_element path p237_14) -(is_path_of p237_14 237) -(contains_node p237_14 248) -(is_before p237_14 248 249) -(contains_node p237_14 249) -(add_element path p237_15) -(is_path_of p237_15 248) -(contains_node p237_15 249) -(add_element path p237_16) -(is_path_of p237_16 237) -(contains_node p237_16 246) -(is_before p237_16 246 247) -(contains_node p237_16 247) -(add_element path p237_17) -(is_path_of p237_17 246) -(contains_node p237_17 247) -(add_element path p237_18) -(is_path_of p237_18 237) -(contains_node p237_18 244) -(is_before p237_18 244 245) -(contains_node p237_18 245) -(add_element path p237_19) -(is_path_of p237_19 244) -(contains_node p237_19 245) -(add_element path p237_20) -(is_path_of p237_20 237) -(contains_node p237_20 239) -(is_before p237_20 239 242) -(contains_node p237_20 242) -(add_element path p237_21) -(is_path_of p237_21 239) -(contains_node p237_21 242) |