Home
last modified time | relevance | path

Searched defs:Return_SolverMap (Results 1 – 2 of 2) sorted by relevance

/dports/math/stp/stp-2.3.3/include/stp/Simplifier/
H A DSimplifier.h231 ASTNodeMap* Return_SolverMap() { return substitutionMap.Return_SolverMap(); } in Return_SolverMap() function
H A DSubstitutionMap.h142 ASTNodeMap* Return_SolverMap() { return SolverMap; } in Return_SolverMap() function