lib/AST/RequirementMachine/PropertyUnification.cpp
bool PropertyMap::checkRulePairOnce(unsigned firstRuleID,
                                    unsigned secondRuleID) {
  return CheckedRulePairs.insert(
      std::make_pair(firstRuleID, secondRuleID)).second;
}
/// Returns true if we have not processed this pair of rules before.
Returns true if we have not processed this pair of rules before.
Returns true if we have not processed this pair of rules before .
bool PropertyMap::checkRulePairOnce(unsigned firstRuleID,
                                    unsigned secondRuleID) {
  return CheckedRulePairs.insert(
      std::make_pair(firstRuleID, secondRuleID)).second;
}
bool PropertyMap :: checkRulePairOnce ( unsigned firstRuleID , unsigned secondRuleID ) { return CheckedRulePairs . insert ( std :: make_pair ( firstRuleID , secondRuleID ) ) . second ; }
Returns true if we have not processed this pair of rules before.
Returns true if we have not processed this pair of rules before .