Home
last modified time | relevance | path

Searched defs:getExpressionName (Results 1 – 3 of 3) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.debug/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/model/elements/
H A DExpressionLabelProvider.java95 …protected String getExpressionName(IExpression expression, IPresentationContext context) throws Co… in getExpressionName() method in ExpressionLabelProvider
/dports/devel/binaryen/binaryen-version_98/src/wasm/
H A Dwasm.cpp106 const char* getExpressionName(Expression* curr) { in getExpressionName() function
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp848 bool getExpressionName(Expr e, std::string& name) const { in getExpressionName() function in CVC4::smt::SmtEnginePrivate
5391 bool SmtEngine::getExpressionName(Expr e, std::string& name) const { in getExpressionName() function in CVC4::SmtEngine