Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/06 20:01] miw |
pl:miw:miw08_xtt_rif:rif_minicases [2019/06/27 15:50] |
====== 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]] | |
| |
FIXME | |
| |