Searched refs:storeApplicationLookup (Results 1 – 2 of 2) sorted by relevance
274 void storeApplicationLookup(FunctionApplication& funNormalized, EqualityNodeId funId);
190 storeApplicationLookup(funNormalized, funId); in newApplicationNode()656 storeApplicationLookup(funNormalized, funId); in merge()1852 void EqualityEngine::storeApplicationLookup(FunctionApplication& funNormalized, EqualityNodeId funI… in storeApplicationLookup() function in CVC4::theory::eq::EqualityEngine