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