Member predicate DivExpr::getOperator

Gets the name of the operator in this operation.

string getOperator()