Searched defs:UpdateSolverMap (Results 1 – 2 of 2) sorted by relevance
125 bool UpdateSolverMap(const ASTNode& key, const ASTNode& value) in UpdateSolverMap() function
147 bool Simplifier::UpdateSolverMap(const ASTNode& key, const ASTNode& value) in UpdateSolverMap() function in stp::Simplifier