Lines Matching refs:AtomNames
40 /// either specified in `AtomNames` or created by default rules as B0, B1, ...
44 /// Names assigned to atoms should not be repeated in `AtomNames`.
47 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
53 /// labels either specified in `AtomNames` or created by default rules as B0,
58 /// Names assigned to atoms should not be repeated in `AtomNames`.
61 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
67 /// labels either specified in `AtomNames` or created by default rules as B0,
72 /// Names assigned to atoms should not be repeated in `AtomNames`.
75 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
79 llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}}) {
82 return debugString(ConstraintsVec, Result, std::move(AtomNames));