Searched refs:RecursiveInvariant (Results 1 – 1 of 1) sorted by relevance
110 static InvariantCheck RecursiveInvariant(const InvariantCheck &func) in RecursiveInvariant() function136 invariantsChecks_[name + RECURSIVE_SUFFIX] = RecursiveInvariant(check); in AddInvariant()