Searched refs:_inductionDepth (Results 1 – 2 of 2) sorted by relevance
597 _inductionDepth = 0; in initDefault()804 unsigned inductionDepth() const { return _inductionDepth; } in inductionDepth()805 void setInductionDepth(unsigned d) { _inductionDepth = d; } in setInductionDepth()836 unsigned _inductionDepth : 5; member in Kernel::Inference
239 _inductionDepth = static_cast<Unit*>(_ptr1)->inference().inductionDepth(); in updateStatistics()241 _inductionDepth = max(static_cast<Unit*>(_ptr1)->inference().inductionDepth(), in updateStatistics()248 _inductionDepth = 0; in updateStatistics()251 _inductionDepth = max(_inductionDepth,it->head()->inference().inductionDepth()); in updateStatistics()280 result += ", id: " + Int::toString(_inductionDepth); in toString()