Searched refs:isolateVariable (Results 1 – 5 of 5) sorted by relevance
201 Theorem isolateVariable(const Theorem& inputThm, bool& e1);
177 Theorem isolateVariable(const Theorem& inputThm, bool& e1);
225 Theorem isolateVariable(const Theorem& inputThm, bool& e1);
1069 Theorem thm1 = isolateVariable(ineqThm, varOnRHS); in processBuffer()1150 Theorem TheoryArith3::isolateVariable(const Theorem& inputThm, in isolateVariable() function in TheoryArith3
1125 Theorem thm1 = isolateVariable(inequalityFindThm, varOnRHS); in processBuffer()1499 Theorem TheoryArithOld::isolateVariable(const Theorem& inputThm, in isolateVariable() function in TheoryArithOld