property_intervals.cpp 文件参考

#include "internal/property_store_support.hpp"
#include "internal/symbolic_ast.hpp"
#include <algorithm>

property_intervals.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间
namespace	LMCAS

函数
static bool	LMCAS::endpoints_equivalent (const Endpoint &left, const Endpoint &right)
static Result< bool >	LMCAS::interval_covers_checked_impl (const Interval &outer, const Interval &inner, ComputationContext &context)
	判断 outer 是否完全包含 inner。 包含条件为 outer.lower <= inner.lower 且 inner.upper <= outer.upper， 并结合端点的开闭属性判断边界。
static bool	LMCAS::intervals_equivalent (const Interval &left, const Interval &right)
static Result< bool >	LMCAS::intervals_overlap_checked_impl (const Interval &a, const Interval &b, ComputationContext &context)
	判断两个区间是否存在已证明的交集。 端点排序采用受检区间运算；超出支持域时，交集判定仍为未决。
PropertyStoreResult	LMCAS::validate_property_interval (const Interval &interval, ComputationContext &context, const std::string &operation)