Abbreviation | Parse-tree header | Meaning | External repr. |
[] | param.list | ||
() | application | ||
itr | iterators | ||
{} | setformer | ||
in | membership | ||
{.} | multiapplication | ||
= | equality | ||
EX | exist. quantifier | ||
Etr | exist. iterators | ||
ALL | univ. quantifier | ||
{-} | enumerated set | ||
and | conjunction | ||
or | disjunction | ||
== | biimplication | ||
+ | union | ||
* | intersection | ||
- | set difference | ||
[-] | enumerated tuple | ||
not | negation | ||
notin | neg. membership | ||
/== | exclusive or | ||
/= | inequality | ||
incs | includes | ||
incin | is included in | ||
-> | map application | ||
imp | implication | ||
0 | void | {} | |
{/} | |||
null | |||
arb | arbitrary choice | ||
:= | assignment | ||
and | conjunction, 2 | ||
domain | domain | domain | |
range | image | range | |
@ | map composition | ||
# | cardinality | ||
> | greater than | ||
>= | greater than or equal | ||
< | less than | ||
<= | less than or equal | ||
pow | powerset | ||
if | if ... then ... else ... |
Note: In order to get a view of syntax trees generated by the SETL parser, it suffices to compile a SETL program by means of the command
stlc -da test.stl
stlc --h