Searched refs:getExpressionName (Results 1 – 11 of 11) sorted by relevance
73 return getExpressionName(expression, context); in getColumnText()95 …protected String getExpressionName(IExpression expression, IPresentationContext context) throws Co… in getExpressionName() method in ExpressionLabelProvider
79 if (smt->getExpressionName(*i, name)) { in toStream()
45 auto name = getExpressionName(curr); in visitExpression()
2720 o << getExpressionName(inst->origin); in printStackInst()
1054 bool getExpressionName(Expr e, std::string& name) const;
848 bool getExpressionName(Expr e, std::string& name) const { in getExpressionName() function in CVC4::smt::SmtEnginePrivate5391 bool SmtEngine::getExpressionName(Expr e, std::string& name) const { in getExpressionName() function in CVC4::SmtEngine5392 return d_private->getExpressionName(e, name); in getExpressionName()
365 Fatal() << "Unexpected arg0 type (" << getExpressionName(arg) in visitCall()
106 const char* getExpressionName(Expression* curr) { in getExpressionName() function
624 const char* getExpressionName(Expression* curr);
2213 Fatal() << "wasm2js cannot convert " << getExpressionName(curr); in processFunctionBody()
1281 if (smt->getExpressionName(*i,name)) { in toStream()