Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:obsolate [2008/04/13 16:22] miw |
pl:miw:miw08_xtt_rif:obsolate [2008/05/29 19:31] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ==== Przypisywanie podpisu do stałych symboli ==== | + | |
| - | Opis podpisów (ang. signatures) został umieszczony [[pl:miw:miw08_xtt_rif:signatures|tutaj]]. Podpisy nie są częścią składni RIFa. | + | |
| - | ==== Obsługiwane typy termów ==== | + | |
| - | RIF-BLD wspiera powyższe typy termów: | + | |
| - | * stałe | + | |
| - | * zmienne | + | |
| - | * pozycjonowane | + | |
| - | * z nazwanymi argumentami | + | |
| - | * równościowe | + | |
| - | * ramy | + | |
| - | * należące do klasy | + | |
| - | * należące do podklas | + | |
| - | | + | |
