Searched refs:Explanation (Results 1 – 3 of 3) sorted by relevance
282 TextGenerator Explanation; member293 EditGenerator Edits, TextGenerator Explanation = nullptr);298 TextGenerator Explanation = nullptr) {300 std::move(Explanation));306 TextGenerator Explanation = nullptr) {307 return makeRule(std::move(M), edit(std::move(Edit)), std::move(Explanation));
217 std::string Explanation; in explainPredicates() local221 Explanation += in explainPredicates()236 Explanation += " extload"; in explainPredicates()238 Explanation += " sextload"; in explainPredicates()240 Explanation += " zextload"; in explainPredicates()276 Explanation += " acquire"; in explainPredicates()278 Explanation += " release"; in explainPredicates()280 Explanation += " acq_rel"; in explainPredicates()282 Explanation += " seq_cst"; in explainPredicates()292 return Explanation; in explainPredicates()[all …]
170 TextGenerator Explanation) { in makeRule() argument172 std::move(Explanation)}}}; in makeRule()