Searched refs:VerifyRegionInvariantsFn (Results 1 – 5 of 5) sorted by relevance
350 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn);354 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn,360 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn,381 void setVerifyRegionFn(OperationName::VerifyRegionInvariantsFn &&verify) { in setVerifyRegionFn()419 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn,438 OperationName::VerifyRegionInvariantsFn verifyRegionFn;
81 using VerifyRegionInvariantsFn = variable123 VerifyRegionInvariantsFn verifyRegionInvariantsFn;276 VerifyRegionInvariantsFn &&verifyRegionInvariants,
1902 static OperationName::VerifyRegionInvariantsFn getVerifyRegionInvariantsFn() {
293 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn, in DynamicOpDefinition()311 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn) { in get()330 OperationName::VerifyRegionInvariantsFn &&verifyRegionFn, in get()
718 VerifyRegionInvariantsFn &&verifyRegionInvariants, FoldHookFn &&foldHook, in insert()