A | |
| aexp [Imp] | |
| aop [Imp] | |
B | |
| bexp [Imp] | |
C | |
| check_sat_result [Smtlib] | |
| cmd [Sketching] | |
| cmd [Imp] | |
| cmp [Imp] |
Operators to compare integers.
|
| const [Typeinf] | |
E | |
| exp [Sketching] | |
| exp [Typeinf.Explicit] | |
| exp [Typeinf.Implicit] | |
I | |
| id [Sketching] | |
| id [Typeinf] | |
| identifier [Smtlib] | |
M | |
| metavar [Typeinf.Explicit] | |
O | |
| op1 [Sketching] | |
| op2 [Sketching] | |
| op2 [Typeinf] | |
S | |
| sexp [Smtlib] |
The variant of s-expressions used by SMT-LIB.
|
| solver [Smtlib] |
A handle to a Z3 process.
|
| sort [Smtlib] | |
T | |
| term [Smtlib] | |
| typ [Typeinf.Explicit] |