inference_engine_periodicity.cpp 文件参考

#include "internal/inference_engine_impl.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/assumption_simplification.hpp"
#include "internal/expression_construction.hpp"
#include "internal/rewrite_budget.hpp"
#include <limits>

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodEvidence
class	LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference

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

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

函数
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)

变量
constexpr const char *	LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::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