205 class Singleton : public T {  class
516     return lhs.get() == rhs.get() ? RandomVariable(lhs, 2, Singleton<Multiplication>::get())  in operator +()
517                                   : RandomVariable(lhs, rhs, Singleton<Addition>::get());  in operator +()
521                                   : RandomVariable(lhs, rhs, Singleton<Subtraction>::get());  in operator -()
524     return lhs.get() == rhs.get() ? RandomVariable(lhs, RandomVariable(), Singleton<Square>::get())  in operator *()
525                                   : RandomVariable(lhs, rhs, Singleton<Multiplication>::get());  in operator *()
532                                   : RandomVariable(lhs, rhs, Singleton<Division>::get());  in operator /()
536                                   : RandomVariable(lhs, rhs, Singleton<Modulo>::get());  in operator %()
539     return lhs.get() == rhs.get() ? lhs : RandomVariable(lhs, rhs, Singleton<Maximum>::get());  in max()
542     return lhs.get() == rhs.get() ? lhs : RandomVariable(lhs, rhs, Singleton<Minimum>::get());  in min()
547                                : RandomVariable(*this, other, Singleton<ExactDivision>::get());  in exactDiv()
555     if (node1 == node2 || (node1->op == Singleton<UnaryEqual>::get() && node1->parent1 == node2) ||  in setEqual()
556         (node2->op == Singleton<UnaryEqual>::get() && node2->parent1 == node1)) {  in setEqual()
568         node2->op = Singleton<UnaryEqual>::get();  in setEqual()
578         node1->op = Singleton<UnaryEqual>::get();  in setEqual()
584     return RandomVariable(*this, other, Singleton<Equal>::get());  in setEqual()
589     return RandomVariable(*this, other, Singleton<GreaterThan>::get());  in setGreaterThan()
593                                : RandomVariable(*this, other, Singleton<GreaterEqual>::get());  in setGreaterEqual()