Searched refs:addMultiplicativeSignSplit (Results 1 – 4 of 4) sorted by relevance
102 virtual void addMultiplicativeSignSplit(const Theorem& case_split_thm) {}; in addMultiplicativeSignSplit() function
955 void addMultiplicativeSignSplit(const Theorem& case_split_thm);
810 d_theoryArith->addMultiplicativeSignSplit(case_split_thm); in canonMult()
5194 void TheoryArithOld::addMultiplicativeSignSplit(const Theorem& case_split_thm) { in addMultiplicativeSignSplit() function in TheoryArithOld