Searched refs:d_numNonLinear (Results 1 – 2 of 2) sorted by relevance
119 IntStat d_numNonLinear; variable
70 d_numNonLinear(name + "theory::arrays::number of calls to setNonLinear", in TheoryArrays()121 smtStatisticsRegistry()->registerStat(&d_numNonLinear); in TheoryArrays()172 smtStatisticsRegistry()->unregisterStat(&d_numNonLinear); in ~TheoryArrays()1603 ++d_numNonLinear; in setNonLinear()