Template Function ADS::detail::equal

• Defined in File Contract.h

Function Documentation

template<class T>
bool ADS::detail::equal(const T &a, const T &b)

a == b if T has an equality, true otherwise: a postcondition that compares items does not restrict the types of the items; two items unequal to themselves (e.g., two NaN) are equal here, so that a NaN can be stored