LMCAS::anonymous_namespace{inference_engine_periodicity.cpp} 命名空间参考

类
struct	PeriodEvidence
class	PeriodInference

类型定义
using	Node = std::shared_ptr<const SymbolicNode>

函数
Result< PeriodEvidence >	periodicity_checked (const SymbolicExpr &expression, const std::string &variable, const AssumptionContext &assumptions, const InferenceEngine &engine, ComputationContext &context)

变量
constexpr const char *	periodic_operation = "inference.periodic"

---

类说明

LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence

struct LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence

在文件 inference_engine_periodicity.cpp 第 14 行定义.

LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence 的协作图:

类成员
optional< SymbolicExpr >	period
Tribool	periodic = Tribool::Unknown
bool	real_valued = false

类型定义说明

Node

using LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::Node = std::shared_ptr<const SymbolicNode>

在文件 inference_engine_periodicity.cpp 第 12 行定义.

函数说明

periodicity_checked()

Result< PeriodEvidence > LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::periodicity_checked	(	const SymbolicExpr &	expression,
		const std::string &	variable,
		const AssumptionContext &	assumptions,
		const InferenceEngine &	engine,
		ComputationContext &	context )

在文件 inference_engine_periodicity.cpp 第 183 行定义.

                                 {
    if (variable.empty()) {
        return Result<PeriodEvidence>::failure(CasErrc::InvalidArgument,
            "independent variable must not be empty", periodic_operation);
    }
    return checked_inference_result<PeriodEvidence>(expression, periodic_operation, context,
        [&]() -> Result<PeriodEvidence> {
            PeriodInference inference(assumptions, engine, variable, context);
            return inference.infer(detail::node(expression));
        });
}

引用了 LMCAS::checked_inference_result(), LMCAS::context, LMCAS::Result< T >::failure(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::infer(), LMCAS::InvalidArgument, LMCAS::detail::node(), periodic_operation, periodicity_checked() , 以及 LMCAS::variable.

被这些函数引用 periodicity_checked().

函数调用图:

这是这个函数的调用关系图:

变量说明

periodic_operation

const char* LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::periodic_operation = "inference.periodic"

constexpr

在文件 inference_engine_periodicity.cpp 第 11 行定义.

被这些函数引用 LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::independent(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::infer() , 以及 periodicity_checked().