Function ADS::checkingContract

• Defined in File Sorted.h

Function Documentation

bool ADS::checkingContract(void)

true while a contract of ADS is evaluated: a comparator that counts its calls skips those made by the contracts