当前位置: 首页>>代码示例>>C++>>正文


C++ interval::is_upper_open方法代码示例

本文整理汇总了C++中interval::is_upper_open方法的典型用法代码示例。如果您正苦于以下问题:C++ interval::is_upper_open方法的具体用法?C++ interval::is_upper_open怎么用?C++ interval::is_upper_open使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在interval的用法示例。


在下文中一共展示了interval::is_upper_open方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: meet

 interval interval_relation_plugin::meet(interval const& src1, interval const& src2, bool& isempty) {
     isempty = false;
     if (is_empty(0, src1) || is_infinite(src2)) {
         return src1;
     }
     if (is_empty(0, src2) || is_infinite(src1)) {
         return src2;
     }
     bool l_open = src1.is_lower_open();
     bool r_open = src1.is_upper_open();
     ext_numeral low = src1.inf();
     ext_numeral high = src1.sup();
     if (src2.inf() > low || (src2.inf() == low && !l_open)) {
         low = src2.inf();
         l_open = src2.is_lower_open();
     }
     if (src2.sup() < high || (src2.sup() == high && !r_open)) {
         high = src2.sup();
         r_open = src2.is_upper_open();
     }
     if (low > high || (low == high && (l_open || r_open))) {
         isempty = true;
         return interval(dep());
     }
     else {
         return interval(dep(), low, l_open, nullptr, high, r_open, nullptr);
     }
 }
开发者ID:NikolajBjorner,项目名称:z3,代码行数:28,代码来源:dl_interval_relation.cpp

示例2: unite

 interval interval_relation_plugin::unite(interval const& src1, interval const& src2) {
     bool l_open = src1.is_lower_open();
     bool r_open = src1.is_upper_open();
     ext_numeral low = src1.inf();
     ext_numeral high = src1.sup();
     if (src2.inf() < low || (src2.inf() == low && l_open)) {
         low = src2.inf();
         l_open = src2.is_lower_open();
     }
     if (src2.sup() > high || (src2.sup() == high && r_open)) {
         high = src2.sup();
         r_open = src2.is_upper_open();
     }
     return interval(dep(), low, l_open, nullptr, high, r_open, nullptr);
 }
开发者ID:NikolajBjorner,项目名称:z3,代码行数:15,代码来源:dl_interval_relation.cpp

示例3: widen

 interval interval_relation_plugin::widen(interval const& src1, interval const& src2) {
     bool l_open = src1.is_lower_open();
     bool r_open = src1.is_upper_open();
     ext_numeral low = src1.inf();
     ext_numeral high = src1.sup();
     
     if (src2.inf() < low || (low == src2.inf() && l_open && !src2.is_lower_open())) {
         low = ext_numeral(false);
         l_open = true;
     }
     if (high < src2.sup() || (src2.sup() == high && !r_open && src2.is_upper_open())) {
         high = ext_numeral(true);
         r_open = true;
     }
     return interval(dep(), low, l_open, nullptr, high, r_open, nullptr);
 }
开发者ID:NikolajBjorner,项目名称:z3,代码行数:16,代码来源:dl_interval_relation.cpp


注:本文中的interval::is_upper_open方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。