Last indexation completed on 2025-04-17 23:03:11 UTC
Identifier search
Type the full name of an identifier to look for
(a function name, variable name, typedef, etc).
Matches are case-sensitive.
Check "Definitions only" to find only definitions of the symbol
(unchecked, all references).
As a convenience,
extra 999 line numbers denote
case-insensitive occurrences
(either belonging to a case-insensitive language or differing in case).
Definitions for Z3
3 declarations in 2 files.
References to Z3
71 references in 8 files.
