SymbolicTerm::IsTop

Synopsis

Declared in <src/midend/astUtil/symbolicVal/SymbolicExpr.h>

bool
IsTop() const;

Created with MrDocs