Searched defs:mkBoundVarPtr (Results 1 – 1 of 1) sorted by relevance
701 Node* NodeManager::mkBoundVarPtr(const std::string& name, in mkBoundVarPtr() function in CVC4::NodeManager752 Node* NodeManager::mkBoundVarPtr(const TypeNode& type) { in mkBoundVarPtr() function in CVC4::NodeManager