MultiplyApplicator::IsTop

Synopsis

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

virtual
bool
IsTop(SymbolicTerm const& t);

Created with MrDocs