CodeQL library for C/C++
Search

Member predicate AssumeExpr::toString

Gets a textual representation of this expression.

string toString()