Vankovich + Tjundevickij

.gitignore

@@ -1 +1,14 @@
-*.scs~
+<<<<<<< HEAD
+kb.bin
+sc-machine
+scp-machine
+sc-web
+ims.ostis.kb
+ims.ostis.kb_copy
+geometry.drawings
+web-scn-editor
+
+*.*~
+=======
+*.scs~
+>>>>>>> a33b8f2fac80321695043fc4f6aa209b7a170f7b

config/sc-web.ini

@@ -0,0 +1,18 @@
+[Network]
+Port = 55770
+[Repo]
+Path = /home/shokalirina/newostis/ostis/kb.bin
+SavePeriod = 3600
+[Extensions]
+Directory = /home/shokalirina/newostis/ostis/sc-machine/bin/extensions
+[Stat]
+UpdatePeriod = 1800
+Path = /tmp/sctp_stat
+
+##### sc-memory
+[memory]
+max_loaded_segments = 100
+
+[filememory]
+engine = redis
+

config/server.conf

@@ -0,0 +1,3 @@
+
+static_path = "../client/static"
+templates_path = "../client/templates"

kb/graph/graph0.scs

@@ -0,0 +1,11 @@
+graph -> G0;;
+G0 -> rrel_arcs: ..arcs;;
+G0 -> rrel_nodes: ..nodes;;
+
+..nodes -> V1;;
+..nodes -> V2;;
+..nodes -> V3;;
+
+..arcs -> (V1 => V2);;
+..arcs -> (V2 => V3);;
+..arcs -> (V3 => V1);;

kb/graph/graph1.scs

@@ -0,0 +1,13 @@
+graph -> G1;;
+G1 -> rrel_arcs: ..arcs;;
+G1 -> rrel_nodes: ..nodes;;
+
+..nodes -> V1;;
+..nodes -> V2;;
+..nodes -> V3;;
+..nodes -> V4;;
+
+
+..arcs -> (V1 => V2);;
+..arcs -> (V2 => V3);;
+..arcs -> (V3 => V4);;

kb/graph/graph2.scs

@@ -0,0 +1,19 @@
+graph -> G2;;
+G2 -> rrel_arcs: ..arcs;;
+G2 -> rrel_nodes: ..nodes;;
+
+..nodes -> V1;;
+..nodes -> V2;;
+..nodes -> V3;;
+..nodes -> V4;;
+..nodes -> V5;;
+..nodes -> V6;;
+
+
+..arcs -> (V1 => V2);;
+..arcs -> (V2 => V3);;
+..arcs -> (V1 => V3);;
+..arcs -> (V2 => V4);;
+..arcs -> (V4 => V5);;
+..arcs -> (V5 => V6);;
+..arcs -> (V4 => V6);;

kb/graph/graph3.scs

@@ -0,0 +1,9 @@
+graph -> G3;;
+G3 -> rrel_arcs: ..arcs;;
+G3 -> rrel_nodes: ..nodes;;
+
+..nodes -> V1;;
+..nodes -> V2;;
+
+
+..arcs -> (V1 => V2);;

kb/graph/graph4.scs

@@ -0,0 +1,16 @@
+graph -> G4;;
+G4 -> rrel_arcs: ..arcs;;
+G4 -> rrel_nodes: ..nodes;;
+
+..nodes -> V1;;
+..nodes -> V2;;
+..nodes -> V3;;
+..nodes -> V4;;
+..nodes -> V5;;
+
+
+..arcs -> (V1 => V2);;
+..arcs -> (V2 => V3);;
+..arcs -> (V1 => V3);;
+..arcs -> (V3 => V4);;
+..arcs -> (V3 => V5);;

kb/openstreetmap_view.scs

@@ -0,0 +1,17 @@
+ui_external_languages
+  -> openstreetmap_view;;
+
+openstreetmap_view => nrel_main_idtf: [Отображение Open Street Map] (*
+  <- lang_ru;;
+*);;
+
+format_openstreetmap_view => nrel_main_idtf: [Формат Open Street Map] (*
+  <- lang_ru;;
+*);;
+
+sc_node_norole_relation -> nrel_osm_query;;
+sc_relation -> nrel_osm_query;;
+nrel_osm_query
+	=> nrel_main_idtf: 
+		[ osm-запрос* ] (* <-lang_ru;; *);
+		[ osm-query* ] (* <-lang_en;; *);;

kb/proc_find_diameter/menu/ui_main_menu.scs

@@ -0,0 +1,12 @@
+ui_main_menu <- sc_node_not_relation;;
+
+ui_main_menu => nrel_main_idtf: [Главное меню] (* <- lang_ru;; *);;
+
+ui_main_menu <= nrel_ui_commands_decomposition: .ui_main_menu_decomposition
+(*
+	-> ui_menu_na_view_kb;;
+	-> ui_menu_na_keynodes;;
+	-> ui_menu_run_scp_program;;
+*);;
+
+

kb/proc_find_diameter/menu/ui_menu_na_keynodes.scs

@@ -0,0 +1,5 @@
+ui_menu_na_keynodes
+<- ui_user_command_class_noatom;
+=> nrel_main_idtf:
+	[Ключевые узлы навигации] (* <- lang_ru;; *);
+	[Keynodes for navigation] (* <- lang_en;; *);;

kb/proc_find_diameter/menu/ui_menu_run_scp_program.scs

@@ -0,0 +1,17 @@
+ui_menu_run_scp_program <- ui_user_command_class_atom; ui_user_command_class_view_kb;;
+
+ui_menu_run_scp_program => nrel_main_idtf: [Запуск scp-программы] (* <- lang_ru;; *);;
+ui_menu_run_scp_program => nrel_main_idtf: [Run scp-program] (* <- lang_en;; *);;
+ui_menu_run_scp_program => ui_nrel_command_template:
+	[*
+		question_scp_interpretation_request _-> ._question_scp_interpretation_request_instance
+			(*
+				_-> rrel_1:: ui_arg_1;;		
+				_-> rrel_2:: _...;;	
+			*);;
+		._question_scp_interpretation_request_instance _<- question;;
+		._question_scp_interpretation_request_instance _<= nrel_authors:: _... (* _-> abstract_scp_machine;; *);;
+	*];;
+
+ui_menu_run_scp_program => ui_nrel_command_lang_template: [Запуск scp-программы: $ui_arg_1] (* <- lang_ru;; *);;
+ui_menu_run_scp_program => ui_nrel_command_lang_template: [Run scp-program: $ui_arg_1] (* <- lang_en;; *);;

kb/proc_find_diameter/print/proc_print_idtf.scs

@@ -0,0 +1,32 @@
+scp_program -> proc_print_idtf (*
+
+	-> rrel_params: ... (*
+		-> rrel_1: rrel_in: _element;;
+	*);;
+
+	-> rrel_operators: ... (*
+
+		-> rrel_init: ..proc_print_idtf_operator1 (*
+			<- searchElStr5;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _element;;
+			-> rrel_2: rrel_assign: rrel_common: rrel_scp_var: _arc2;;
+			-> rrel_3: rrel_assign: rrel_scp_var: _element_idtf;;
+			-> rrel_4: rrel_assign: rrel_pos_const_perm: rrel_scp_var: _arc4;;
+			-> rrel_5: rrel_fixed: rrel_scp_const: nrel_system_identifier;;
+
+			=> nrel_then: ..proc_print_idtf_operator2;;		
+			=> nrel_else: ..proc_print_idtf_operator_return;;		
+		*);;
+
+		-> ..proc_print_idtf_operator2 (*
+			<- print;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _element_idtf;;
+
+			=> nrel_goto: ..proc_print_idtf_operator_return;;
+		*);;
+
+		-> ..proc_print_idtf_operator_return (*
+			<- return;;
+		*);;	
+	*);;
+*);;

kb/proc_find_diameter/print/proc_print_set.scs

@@ -0,0 +1,105 @@
+scp_program -> proc_print_set (*
+	-> rrel_params: ... (*
+		-> rrel_1: rrel_in: _set;;
+	*);;
+
+	-> rrel_operators: ... (*
+
+		-> rrel_init: ..proc_print_set_operator1 (*
+			<- searchSetStr3;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _set;;
+			-> rrel_2: rrel_assign: rrel_pos_const_perm: rrel_scp_var: _arc2;;
+			-> rrel_3: rrel_assign: rrel_scp_var: _element;;
+			-> rrel_set_3: rrel_assign: rrel_scp_var: _set_copy;;
+
+			=> nrel_goto: ..proc_print_set_operator2;;
+		*);;
+
+
+		-> ..proc_print_set_operator2 (*
+			<- print;;
+			-> rrel_1: rrel_fixed: rrel_scp_const: [{];;
+
+			=> nrel_goto: ..proc_print_set_operator3;;
+		*);;
+
+		-> ..proc_print_set_operator3 (*
+			<- ifVarAssign;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _set_copy;;
+
+			=> nrel_then: ..proc_print_set_operator4;;
+			=> nrel_else: ..proc_print_set_operator11;;
+		*);;
+
+		-> ..proc_print_set_operator4 (*
+			<- searchElStr3;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _set_copy;;
+			-> rrel_2: rrel_assign: rrel_pos_const_perm: rrel_scp_var: _arc2;;
+			-> rrel_3: rrel_assign: rrel_scp_var: _element;;
+
+		 	=> nrel_then: ..proc_print_set_operator5;;
+		 	=> nrel_else: ..proc_print_set_operator_return;;
+		*);;
+
+		-> ..proc_print_set_operator5 (*
+			<- eraseEl;;
+			-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: _arc2;;
+
+			=> nrel_goto: ..proc_print_set_operator6;;
+		*);;
+
+		-> ..proc_print_set_operator6 (*
+			<- call;;
+			-> rrel_1: rrel_fixed: rrel_scp_const: proc_print_idtf;;
+			-> rrel_2: rrel_fixed: rrel_scp_const: ... (*	
+				-> rrel_1: rrel_fixed: rrel_scp_var: _element;;
+			*);;
+			-> rrel_3: rrel_assign: rrel_scp_var: _descr;;
+
+			=> nrel_goto: ..proc_print_set_operator7;;
+		*);;
+
+		-> ..proc_print_set_operator7 (*
+			<-waitReturn;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _descr;;
+
+		  	=> nrel_goto: ..proc_print_set_operator8;;
+		*);;
+
+		-> ..proc_print_set_operator8 (*
+			<- searchElStr3;;
+			-> rrel_1: rrel_fixed: rrel_scp_var: _set_copy;;
+			-> rrel_2: rrel_assign: rrel_pos_const_perm: rrel_scp_var: _arc2;;
+			-> rrel_3: rrel_assign: rrel_scp_var: _element;;
+
+		 	=> nrel_then: ..proc_print_set_operator9;;
+		 	=> nrel_else: ..proc_print_set_operator10;;
+		*);;
+
+		-> ..proc_print_set_operator9 (*
+			<- print;;
+			-> rrel_1: rrel_fixed: rrel_scp_const: [, ];;
+
+			=> nrel_goto: ..proc_print_set_operator4;;
+		*);;
+
+		-> ..proc_print_set_operator10 (*
+			<- eraseEl;;
+			-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: _set_copy;;
+
+			=> nrel_goto: ..proc_print_set_operator11;;
+		*);;
+
+		-> ..proc_print_set_operator11 (*
+			<- print;;
+			-> rrel_1: rrel_fixed: rrel_scp_const: [}];;
+
+			=> nrel_goto: ..proc_print_set_operator_return;;
+		*);;
+
+		-> ..proc_print_set_operator_return (*
+			<-return;;
+		*);;
+
+	*);;
+*);;