residual_comparison.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "residual_verification.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/facts_query.hpp"
#include "internal/pointwise_comparison.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/normalization_utils.hpp"
#include <exception>
#include <new>
#include <optional>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{residual_comparison.cpp}

函数
ResidualCheckResult	LMCAS::check_equivalent (const ExprPtr &left, const ExprPtr &right, ComputationContext &context, const LMCAS::EqvOptions &options)
Result< Tribool >	LMCAS::anonymous_namespace{residual_comparison.cpp}::compare_defined_values (const ExprPtr &left, const ExprPtr &right, const FactsQuery &facts, ComputationContext &context, Domain domain)
Result< bool >	LMCAS::anonymous_namespace{residual_comparison.cpp}::pointwise_values_defined (const ExprPtr &left, const ExprPtr &right, const FactsQuery &facts, Domain domain, ComputationContext &context)