Searched refs:ExactDivision (Results 1 – 1 of 1) sorted by relevance
393 class ExactDivision : public Division { class546 : RandomVariable(*this, other, Singleton<ExactDivision>::get()); in exactDiv()