Egyenlőségszerű beépített eljárások összehasonlítása
A VIK Wikiből
(PrologElm25 szócikkből átirányítva)
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
- fejezetek: 4.8
- fóliák: 230-232
4.8 Egyenlőség fajták
- U = V U egyesíthető V-vel. Sose jelez hibát.
- U == V U azonos V-vel. Sose jelez hibát és nem helyettesít be.
- U is V U egyesítendő V értékével. Hiba lép fel, ha V nem tömör aritmetikai kifejezés.
- U =:= V U és V aritmetikai kifejezés értéke megegyezik. Hiba lép fel, ha V és U nem tömör aritmetikai kifejezés.
Ezek ellentettjei: (egyik sem helyettesít be)
- U \= V U nem egyesíthető V-vel. Sose jelez hibát.
- U \== V U nem azonos V-vel. Sose jelez hibát.
- U =\= V U és V aritmetikai kifejezés értéke különböző. Hiba lép fel, ha V és U nem tömör aritmetikai kifejezés.
