本文整理汇总了C++中Predicate::get_arity方法的典型用法代码示例。如果您正苦于以下问题:C++ Predicate::get_arity方法的具体用法?C++ Predicate::get_arity怎么用?C++ Predicate::get_arity使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Predicate
的用法示例。
在下文中一共展示了Predicate::get_arity方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1:
double Matcher::predicateMatchScore
( const Predicate& sp,
const Predicate& tp ) const
{
map<Predicate, Predicate>::const_iterator sp_pos = matchedPreds.find(sp);
map<Predicate, Predicate>::const_iterator tp_pos = matchedPreds.find(tp);
if (sp_pos != matchedPreds.end() and sp_pos->second != tp) {
return 0;
}
if (tp_pos != matchedPreds.end() and tp_pos->second != sp) {
return 0;
}
if (sp.get_arity() == 0 and tp.get_arity() == 0) {
return 1;
}
set<PlaceType> spTypes = sourcePreds.find(sp)->second;
set<PlaceType> tpTypes = targetPreds.find(tp)->second;
vector<PlaceType> intersection;
set_intersection(spTypes.begin(), spTypes.end(),
tpTypes.begin(), tpTypes.end(),
back_inserter(intersection));
double score = intersection.size() / (spTypes.size() + tpTypes.size());
return score;
}