Home
last modified time | relevance | path

Searched defs:ForAll (Results 1 – 3 of 3) sorted by relevance

/arkcompiler/runtime_core/verification/type/
Dtype_parametric.cpp54 void ParametricType::ForAll(Handler &&handler) const in ForAll() function in panda::verifier::ParametricType
Dtype_set.h94 bool ForAll(Handler &&handler) const in ForAll() function
/arkcompiler/runtime_core/verification/util/
Dint_set.h167 bool ForAll(Handler &&handler) const in ForAll() function
351 bool ForAll(Handler &&handler) const in ForAll() function
488 bool ForAll(Handler &&handler) const in ForAll() function