Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/06 20:17] miw Utworzenie |
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/26 15:33] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== RIF i Minicases ====== | ||
| - | ===== restrictive behavior ===== | ||
| - | Reguła: ''if X > 2 then Y = X'' | ||
| - | |||
| - | Podobną strukturę przedstawiłem [[pl:miw:miw08_xtt_rif#przemyslenia_dotyczace_regul_zawierajacych_przypisanie|ostatnio]]. | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== restrictive behavior and multiple values ===== | ||
| - | [[hekatedev:xtt_minicases#restrictive_behavior_and_multiple_values|Opis]] | ||
| - | |||
| - | Póki co nie udało mi się zapisać kompletnej reguły. Część pierwsza, czyli wyliczenie ilości ocen 2 jest proste w realizaji, w regule używam predykatu ''count'' dla wyliczenia. Potem pogę dla wszystkich zmiennych wykonać jakąś operację używając ''Exists''. Zastanawia mnie natomiast możliwość wywołania dwóch operacji na raz i póki co nie widze takiej możliwości. | ||
| - | |||
| - | [[pl:miw:miw08_xtt_rif:rif_minicases:rbmv|Zapis za pomocą RIF]] | ||
| - | |||
| - | |||
| - | ===== restrictive behavior and multiple values cont. ===== | ||
| - | [[hekatedev:xtt_minicases#restrictive_behavior_and_multiple_values_cont|Opis]] | ||
| - | |||
| - | [[pl:miw:miw08_xtt_rif:rif_minicases:rbmvc|Zapis za pomocą RIF]]. | ||
| - | |||
| - | |||
| - | ===== grouped attributes and multiple value operations ===== | ||
| - | [[hekatedev:xtt_minicases#grouped_attributes_and_multiple_value_operations|Opis]] | ||
| - | |||
| - | [[pl:miw:miw08_xtt_rif:rif_minicases:gamvo|Proponowany zapis w RIF]]. | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== grouped attributes and assert ===== | ||
| - | [[hekatedev:xtt_minicases#grouped_attributes_and_assert|Opis]] | ||
| - | |||
| - | [[pl:miw:miw08_xtt_rif:rif_minicases:gaa|Realizacja za pomocą RIFa.]] | ||
| - | |||
| - | |||
| - | |||
| - | ===== calculations (factorial) ===== | ||
| - | [[hekatedev:xtt_minicases#calculations_factorial|Opis]] | ||
| - | |||
| - | Według mnie tej reguły nie da się zapisać za pomocą RIF. Problemem jest zapętlenie. W definicji RIF BLD nie ma możliwości zapętlania reguł i nie widzę możliwości zapisu powyższej reguły. | ||
| - | |||
| - | ===== finding successors in a tree ===== | ||
| - | [[hekatedev:xtt_minicases#finding_successors_in_a_tree|Opis]] | ||
| - | |||
