A | |
| abstr [Kat] |
symbolic KAT expressions (hash-consed, otherwise abstract)
|
E | |
| expr [Kat] |
explicit KAT expression
|
| expr' [Kat] | |
| expr'_set [Kat] |
sets of symbolic expressions
|
| expr_ [Kat] |
generic KAT constructors
|
G | |
| gstring [Kat] | |
M | |
| mem [Kat] | |
N | |
| node [Kat] | |
S | |
| span [Kat] | |
T | |
| test [Kat] |
Explicit Boolean formula
|
V | |
| var [Kat] |