proof_outcome.hpp 文件参考

#include <memory>
#include <variant>

proof_outcome.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::ByConstructionProof
struct	LMCAS::ExactNormalizationProof
struct	LMCAS::ExactResidualProof
struct	LMCAS::ExactRoundTripProof
struct	LMCAS::Verified< T >

命名空间
namespace	LMCAS

类型定义
using	LMCAS::ProofCertificate
using	LMCAS::ProofExprPtr = std::shared_ptr<SymbolicExpr>

---

类说明

LMCAS::ByConstructionProof

struct LMCAS::ByConstructionProof

在文件 proof_outcome.hpp 第 14 行定义.

LMCAS::ByConstructionProof 的协作图:

LMCAS::ExactNormalizationProof

struct LMCAS::ExactNormalizationProof

在文件 proof_outcome.hpp 第 15 行定义.

LMCAS::ExactNormalizationProof 的协作图:

类成员
ProofExprPtr	normalized_residual

LMCAS::ExactResidualProof

struct LMCAS::ExactResidualProof

在文件 proof_outcome.hpp 第 18 行定义.

LMCAS::ExactResidualProof 的协作图:

类成员
ProofExprPtr	normalized_residual

LMCAS::ExactRoundTripProof

struct LMCAS::ExactRoundTripProof

在文件 proof_outcome.hpp 第 21 行定义.

LMCAS::ExactRoundTripProof 的协作图:

类成员
ProofExprPtr	normalized_residual

LMCAS::Verified

struct LMCAS::Verified

template<class T>
struct LMCAS::Verified< T >

在文件 proof_outcome.hpp 第 32 行定义.

LMCAS::Verified< T > 的协作图:

类成员
ProofCertificate	certificate
T	value