määrittelytapaukset
Määrittelytapaukset ovat määrittelytekniikka, jossa kohteen arvo tai ominaisuus annetaan useamman ehdon perusteella. Tyypillisesti kohde määritellään kokonaisuudessaan jakamalla tilanne eri tapauksisiin siten, että jokaiselle tapaukselle on erillinen määritelmä.
Tavan tärkein piirre on tapausjaon kattavuus ja yksiselitteisyys. Määritelmän on katettava kaikki mahdolliset tilanteet (exhaustive) ja
Käytännön esimerkki on absoluuttinen arvo: |x| = x, kun x ≥ 0; |x| = -x, kun x < 0. Toinen
Määrittelytapauksia vastaavat käsitteet ovat usein samankaltaisia kuin piecewise-määrittelyt tai case distinctions. Niitä käytetään myös ohjelmoinnissa ja
See also: määrittely, piecewise-funktiot, case distinction, spesifikaatio.