Searched defs:getExpressionName (Results 1 – 3 of 3) sorted by relevance
95 …protected String getExpressionName(IExpression expression, IPresentationContext context) throws Co… in getExpressionName() method in ExpressionLabelProvider
106 const char* getExpressionName(Expression* curr) { in getExpressionName() function
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::SmtEngine