Searched refs:findConstantEquationsWithoutTags (Results 1 – 2 of 2) sorted by relevance
386 void findConstantEquationsWithoutTags(map<VariableNode *, NumConstNode *> &subst_table) const;
2026 findConstantEquationsWithoutTags(subst_table); in simplifyEquations()2035 findConstantEquationsWithoutTags(subst_table); in simplifyEquations()2040 ModelTree::findConstantEquationsWithoutTags(map<VariableNode *, NumConstNode *> &subst_table) const in findConstantEquationsWithoutTags() function in ModelTree