CrystalDoc.info

Source code Shards.info

z3

master

BigRational
Char
Float64
Int
String
Z3
- AnyExpr
- AnySort
- API
- BitvecExpr
- BitvecSort
- BoolExpr
- BoolSort
- CharExpr
- CharSort
- Exception
- IntExpr
- IntSort
- Model
- RangeIndexing
- RealExpr
- RealSort
- SeqExpr
- SeqSort
- Solver
- StringExpr
- StringSort

Generated using Crystal 1.16.3
2026-08-08 10:32:13 UTC

class Z3::Exception

Z3::Exception
Exception
Reference
Object

Defined in:

z3/exception.cr