Home
last modified time | relevance | path

Searched refs:DeferIncrementalSubtypingClosure_ (Results 1 – 1 of 1) sorted by relevance

/ark/runtime_core/verification/type/
Dtype_system.h78 bool DeferIncrementalSubtypingClosure_ = false; variable
184 if (!DeferIncrementalSubtypingClosure_) { in Relate()
264 DeferIncrementalSubtypingClosure_ = state; in SetDeferIncrementalRelationClosure()
324 if (DeferIncrementalSubtypingClosure_) { in CloseAccumulatedSubtypingRelation()