Skip to content

Commit

Permalink
Merge pull request #26 from ostis-ai/new_scp_programs
Browse files Browse the repository at this point in the history 
feat: rewrite all scp-programs for new scp-interpreter
  • Loading branch information
@NikitaZotov
NikitaZotov authored Dec 18, 2023
2 parents 72a5e4e + 2f8828f commit bb7296c
Show file tree
Hide file tree
Showing 359 changed files with 39,457 additions and 49,765 deletions.
140 changes: 62 additions & 78 deletions .../scp_program/cardinality_counting_with_context/count_cardinality_with_context_content.scs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,102 +2,86 @@ lib_component_proc_of_cardinality_counting_with_context = [*
proc_of_cardinality_counting_with_context
=> nrel_main_idtf:
[scp-программа подсчёта мощности множества в рамках заданного контекста] (* <- lang_ru;; *);
=> nrel_main_idtf:
[scp-program of counting set's cardinality within the context] (* <-lang_en;; *);;

scp_program -> proc_of_cardinality_counting_with_context
(*
-> rrel_params: .proc_of_cardinality_counting_with_context_params
(*
-> rrel_1: rrel_in: _set;;
-> rrel_2: rrel_in: _cardinality;;
-> rrel_3: rrel_in: _context;;
*);;

-> rrel_operators: .proc_of_cardinality_counting_with_context_operator_set
(*
-> rrel_init: .proc_of_cardinality_counting_with_context_operator1
(*
<- contAssign;;

-> rrel_1: rrel_fixed: rrel_scp_var: _cardinality;;
-> rrel_2: rrel_fixed: rrel_scp_const: [0];;
[scp-program of counting set's cardinality within the context] (* <- lang_en;; *);
<- scp_program;
-> rrel_key_sc_element: .._process1;;

=> nrel_goto: .proc_of_cardinality_counting_with_context_operator2;;
*);;
proc_of_cardinality_counting_with_context = [*
.._process1
_<- scp_process;

-> .proc_of_cardinality_counting_with_context_operator2
(*
<- searchSetStr3;;
_-> rrel_1:: rrel_in:: _set;
_-> rrel_2:: rrel_in:: _cardinality;
_-> rrel_3:: rrel_in:: _context;
_<= nrel_decomposition_of_action:: .._actions (*

-> rrel_1: rrel_fixed: rrel_scp_var: _set;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_assign: rrel_scp_var: _element;;
_-> rrel_1:: .._proc_of_cardinality_counting_with_context_operator1 (*
_<- contAssign;;
_-> rrel_1:: rrel_fixed:: rrel_scp_const:: _cardinality;;
_-> rrel_2:: rrel_fixed:: rrel_scp_const:: [0];;

-> rrel_set_3: rrel_assign: rrel_scp_var: _temp_set;;

=> nrel_then: .proc_of_cardinality_counting_with_context_operator3A;;
=> nrel_else: .proc_of_cardinality_counting_with_context_operator_return;;
*);;

-> .proc_of_cardinality_counting_with_context_operator3A
(*
<- searchElStr3;;

-> rrel_1: rrel_fixed: rrel_scp_var: _temp_set;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_assign: rrel_scp_var: _element;;
_=> nrel_goto:: .._proc_of_cardinality_counting_with_context_operator2;;
*);;

=> nrel_then: .proc_of_cardinality_counting_with_context_operator3B;;
=> nrel_else: .proc_of_cardinality_counting_with_context_operator4;;
*);;
_-> .._proc_of_cardinality_counting_with_context_operator2 (*
_<- searchSetStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_const:: _set;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_assign:: rrel_scp_var:: _element;;
_-> rrel_assign:: rrel_scp_var:: rrel_set_3:: _temp_set;;

-> .proc_of_cardinality_counting_with_context_operator3B
(*
<- eraseEl;;
_=> nrel_then:: .._proc_of_cardinality_counting_with_context_operator3A;;
_=> nrel_else:: .._proc_of_cardinality_counting_with_context_operator_return;;
*);;

-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: rrel_pos_const_perm: _arc1;;
_-> .._proc_of_cardinality_counting_with_context_operator3A (*
_<- searchElStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_var:: _temp_set;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_assign:: rrel_scp_var:: _element;;

=> nrel_goto: .proc_of_cardinality_counting_with_context_operator3C;;
*);;
_=> nrel_then:: .._proc_of_cardinality_counting_with_context_operator3B;;
_=> nrel_else:: .._proc_of_cardinality_counting_with_context_operator4;;
*);;

-> .proc_of_cardinality_counting_with_context_operator3C
(*
<- searchElStr3;;
_-> .._proc_of_cardinality_counting_with_context_operator_return (*
_<- return;;

-> rrel_1: rrel_fixed: rrel_scp_var: _context;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_fixed: rrel_scp_var: _element;;
*);;

=> nrel_then: .proc_of_cardinality_counting_with_context_operator3D;;
=> nrel_else: .proc_of_cardinality_counting_with_context_operator3A;;
*);;
_-> .._proc_of_cardinality_counting_with_context_operator3B (*
_<- eraseEl;;
_-> rrel_1:: rrel_erase:: rrel_fixed:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;

-> .proc_of_cardinality_counting_with_context_operator3D
(*
<- contAdd;;
_=> nrel_goto:: .._proc_of_cardinality_counting_with_context_operator3C;;
*);;

-> rrel_1: rrel_fixed: rrel_scp_var: _cardinality;;
-> rrel_2: rrel_fixed: rrel_scp_var: _cardinality;;
-> rrel_3: rrel_fixed: rrel_scp_const: [1];;
_-> .._proc_of_cardinality_counting_with_context_operator4 (*
_<- eraseEl;;
_-> rrel_1:: rrel_erase:: rrel_fixed:: rrel_scp_var:: _temp_set;;

=> nrel_goto: .proc_of_cardinality_counting_with_context_operator3A;;
*);;
_=> nrel_goto:: .._proc_of_cardinality_counting_with_context_operator_return;;
*);;

-> .proc_of_cardinality_counting_with_context_operator4
(*
<- eraseEl;;
_-> .._proc_of_cardinality_counting_with_context_operator3C (*
_<- searchElStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_const:: _context;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_fixed:: rrel_scp_var:: _element;;

-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: _temp_set;;
_=> nrel_then:: .._proc_of_cardinality_counting_with_context_operator3D;;
_=> nrel_else:: .._proc_of_cardinality_counting_with_context_operator3A;;
*);;

=> nrel_goto: .proc_of_cardinality_counting_with_context_operator_return;;
*);;
_-> .._proc_of_cardinality_counting_with_context_operator3D (*
_<- contAdd;;
_-> rrel_1:: rrel_2:: rrel_fixed:: rrel_scp_const:: _cardinality;;
_-> rrel_3:: rrel_fixed:: rrel_scp_const:: [1];;

-> .proc_of_cardinality_counting_with_context_operator_return
(*
<- return;;
*);;
*);;
_=> nrel_goto:: .._proc_of_cardinality_counting_with_context_operator3A;;
*);;

*);;

*];;
*];;
218 changes: 98 additions & 120 deletions ...ithout_multiple_occurrences/cardinality_counting_without_multiple_occurrences_content.scs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,130 +2,108 @@ lib_component_proc_of_cardinality_counting_without_multiple_occurrences = [*
proc_of_cardinality_counting_without_multiple_occurrences
=> nrel_main_idtf:
[scp-программа подсчёта мощности множества без учёта кратных вхождений] (* <- lang_ru;; *);
=> nrel_main_idtf:
[scp-program of set's cardinality counting without taking into account multiple occurrences] (* <-lang_en;; *);;

scp_program -> proc_of_cardinality_counting_without_multiple_occurrences
(*
-> rrel_params: .proc_of_cardinality_counting_without_multiple_occurrences_params
(*
-> rrel_1: rrel_in: _set;;
-> rrel_2: rrel_out: _cardinality;;
*);;

-> rrel_operators: .proc_of_cardinality_counting_without_multiple_occurrences_operator_set
(*
-> rrel_init: .proc_of_cardinality_counting_without_multiple_occurrences_operator1A
(*
<- contAssign;;

-> rrel_1: rrel_assign: rrel_scp_var: _cardinality;;
-> rrel_2: rrel_fixed: rrel_scp_const: [0];;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator1B;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator1B
(*
<- searchSetStr3;;

-> rrel_1: rrel_fixed: rrel_scp_var: _set;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_assign: rrel_scp_var: _element;;

-> rrel_set_3: rrel_assign: rrel_scp_var: _set_of_elements;;

=> nrel_then: .proc_of_cardinality_counting_without_multiple_occurrences_operator1C;;
=> nrel_else: .proc_of_cardinality_counting_without_multiple_occurrences_operator_return;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator1C
(*
<- genEl;;

-> rrel_1: rrel_assign: rrel_scp_var: rrel_const: rrel_node: _checked_elements;;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator2A
(*
<- searchElStr3;;

-> rrel_1: rrel_fixed: rrel_scp_var: _set_of_elements;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_assign: rrel_scp_var: _element;;

=> nrel_then: .proc_of_cardinality_counting_without_multiple_occurrences_operator2B;;
=> nrel_else: .proc_of_cardinality_counting_without_multiple_occurrences_operator3A;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator2B
(*
<- eraseEl;;

-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: rrel_pos_const_perm: _arc1;;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator2C;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator2C
(*
<- searchElStr3;;

-> rrel_1: rrel_fixed: rrel_scp_var: _checked_elements;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_fixed: rrel_scp_var: _element;;

=> nrel_then: .proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
=> nrel_else: .proc_of_cardinality_counting_without_multiple_occurrences_operator2D;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator2D
(*
<- genElStr3;;

-> rrel_1: rrel_fixed: rrel_scp_var: _checked_elements;;
-> rrel_2: rrel_assign: rrel_scp_var: rrel_const: rrel_pos_const_perm: _arc1;;
-> rrel_3: rrel_fixed: rrel_scp_var: _element;;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator2E;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator2E
(*
<- contAdd;;

-> rrel_1: rrel_fixed: rrel_scp_var: _cardinality;;
-> rrel_2: rrel_fixed: rrel_scp_var: _cardinality;;
-> rrel_3: rrel_fixed: rrel_scp_const: [1];;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
*);;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator3A
(*
<- eraseEl;;

-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: _set_of_elements;;

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator3B;;
*);;
[scp-program of set's cardinality counting without taking into account multiple occurrences] (* <- lang_en;; *);
<- scp_program;
-> rrel_key_sc_element: .._process1;;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator3B
(*
<- eraseEl;;
proc_of_cardinality_counting_without_multiple_occurrences = [*
.._process1
_<- scp_process;

-> rrel_1: rrel_fixed: rrel_erase: rrel_scp_var: _checked_elements;;
_-> rrel_1:: rrel_in:: _set;
_-> rrel_2:: rrel_out:: _cardinality;
_<= nrel_decomposition_of_action:: .._actions (*

=> nrel_goto: .proc_of_cardinality_counting_without_multiple_occurrences_operator_return;;
*);;
_-> rrel_1:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator1A (*
_<- contAssign;;
_-> rrel_1:: rrel_assign:: rrel_scp_var:: _cardinality;;
_-> rrel_2:: rrel_fixed:: rrel_scp_const:: [0];;

-> .proc_of_cardinality_counting_without_multiple_occurrences_operator_return
(*
<- return;;
*);;
*);;
_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator1B;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator1B (*
_<- searchSetStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_const:: _set;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_assign:: rrel_scp_var:: _element;;
_-> rrel_assign:: rrel_scp_var:: rrel_set_3:: _set_of_elements;;

_=> nrel_then:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator1C;;
_=> nrel_else:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator_return;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator1C (*
_<- genEl;;
_-> rrel_1:: rrel_assign:: rrel_const:: rrel_node:: rrel_scp_var:: _checked_elements;;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator_return (*
_<- return;;

*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator2A (*
_<- searchElStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_var:: _set_of_elements;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_assign:: rrel_scp_var:: _element;;

_=> nrel_then:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2B;;
_=> nrel_else:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator3A;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator2B (*
_<- eraseEl;;
_-> rrel_1:: rrel_erase:: rrel_fixed:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2C;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator3A (*
_<- eraseEl;;
_-> rrel_1:: rrel_erase:: rrel_fixed:: rrel_scp_var:: _set_of_elements;;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator3B;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator3B (*
_<- eraseEl;;
_-> rrel_1:: rrel_erase:: rrel_fixed:: rrel_scp_var:: _checked_elements;;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator_return;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator2C (*
_<- searchElStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_var:: _checked_elements;;
_-> rrel_2:: rrel_assign:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_fixed:: rrel_scp_var:: _element;;

_=> nrel_then:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
_=> nrel_else:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2D;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator2D (*
_<- genElStr3;;
_-> rrel_1:: rrel_fixed:: rrel_scp_var:: _checked_elements;;
_-> rrel_2:: rrel_assign:: rrel_const:: rrel_pos_const_perm:: rrel_scp_var:: _arc1;;
_-> rrel_3:: rrel_fixed:: rrel_scp_var:: _element;;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2E;;
*);;

_-> .._proc_of_cardinality_counting_without_multiple_occurrences_operator2E (*
_<- contAdd;;
_-> rrel_1:: rrel_2:: rrel_fixed:: rrel_scp_var:: _cardinality;;
_-> rrel_3:: rrel_fixed:: rrel_scp_const:: [1];;

_=> nrel_goto:: .._proc_of_cardinality_counting_without_multiple_occurrences_operator2A;;
*);;

*);;

*];;
*];;
Loading

0 comments on commit bb7296c

Please sign in to comment.