| Class | Description |
|---|---|
| SMTFile | |
| SMTFunction | |
| SMTFunctionDef | |
| SMTSort | |
| SMTTerm | |
| SMTTerm.False | |
| SMTTerm.True | |
| SMTTermBinOp | |
| SMTTermCall |
SMTLib supports functions as well as predicates.
|
| SMTTermITE | |
| SMTTermMultOp | |
| SMTTermNumber | |
| SMTTermQuant | |
| SMTTerms | |
| SMTTermUnaryOp | |
| SMTTermVariable | |
| Util |
| Enum | Description |
|---|---|
| SMTTermBinOp.Op | |
| SMTTermBinOp.OpProperty | |
| SMTTermMultOp.Op | |
| SMTTermMultOp.OpProperty | |
| SMTTermQuant.Quant | |
| SMTTermUnaryOp.Op |