MCPcopy Create free account
hub / github.com/argotorg/solidity / isDeclared

Method isDeclared

libsmtutil/SMTLib2Context.cpp:41–44  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

39}
40
41bool SMTLib2Context::isDeclared(std::string const& _name) const
42{
43 return m_functions.count(_name) > 0;
44}
45
46void SMTLib2Context::declare(std::string const& _name, SortPointer const& _sort)
47{

Callers 6

declareVariableMethod · 0.80
declareFunctionMethod · 0.80
registerRelationMethod · 0.80
declareVariableMethod · 0.80
collectVariableNamesMethod · 0.80
toSMTUtilExpressionMethod · 0.80

Calls 1

countMethod · 0.45

Tested by

no test coverage detected