本文整理汇总了C++中UpdateInfo::foundConflict方法的典型用法代码示例。如果您正苦于以下问题：C++ UpdateInfo::foundConflict方法的具体用法？C++ UpdateInfo::foundConflict怎么用？C++ UpdateInfo::foundConflict使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类UpdateInfo的用法示例。
在下文中一共展示了UpdateInfo::foundConflict方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: debugUpdatedBasic
bool debugUpdatedBasic(const UpdateInfo& selected, ArithVar updated){
if(selected.describesPivot() && updated == selected.leaving()){
return selected.foundConflict();
}else{
return true;
}
}示例2: debugCheckWitness
bool FCSimplexDecisionProcedure::debugCheckWitness(const UpdateInfo& inf, WitnessImprovement w, bool useBlands){
if(inf.getWitness(useBlands) == w){
switch(w){
case ConflictFound: return inf.foundConflict();
case ErrorDropped: return inf.errorsChange() < 0;
case FocusImproved: return inf.focusDirection() > 0;
case FocusShrank: return false; // This is not a valid output
case Degenerate: return false; // This is not a valid output
case BlandsDegenerate: return useBlands;
case HeuristicDegenerate: return !useBlands;
case AntiProductive: return false;
}
}
return false;
}示例3: debugSelectedErrorDropped
bool debugSelectedErrorDropped(const UpdateInfo& selected, int32_t prevErrorSize, int32_t currErrorSize){
int diff = currErrorSize - prevErrorSize;
return selected.foundConflict() || diff == selected.errorsChange();
}