conditional_result.hpp 文件参考

#include <cstddef>
#include <memory>
#include <string>
#include <utility>
#include <variant>
#include <vector>
#include "proof_outcome.hpp"
#include "result.hpp"

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

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

浏览该文件的源代码.

类
struct	LMCAS::ConditionalSolutions
struct	LMCAS::ConditionSet
struct	LMCAS::EmptySolutions
struct	LMCAS::EvaluatedTransform
	受检变换成功时返回在 conditions 和收敛域 roc 条件下有效的已求值表达式。 支持性未决或收敛条件无法表示时，返回外层 Inconclusive 错误。 更多...
struct	LMCAS::FiniteSolution
	conditions 是在操作上下文假设下须同时满足的条件。 空条件保留原表达式定义域且不增加约束；整数参数遍历全体整数。 更多...
struct	LMCAS::FiniteSolutions
struct	LMCAS::IntervalSolution
struct	LMCAS::IntervalSolutions
struct	LMCAS::ParametricSolution
struct	LMCAS::ParametricSolutions
struct	LMCAS::UniversalSolutions

命名空间
namespace	LMCAS

类型定义
using	LMCAS::ExprPtr = std::shared_ptr<SymbolicExpr>
using	LMCAS::SolutionSet
	成功的 SolveResult 表示操作定义域内的完整解集。 完备性未决时返回外层 Inconclusive 错误；EmptySolutions 表示已证明的空解集。
using	LMCAS::SolveResult = Result<SolutionSet>
using	LMCAS::TransformEngineResult = Result<Verified<EvaluatedTransform>>

---

类说明

LMCAS::ConditionalSolutions

struct LMCAS::ConditionalSolutions

在文件 conditional_result.hpp 第 59 行定义.

LMCAS::ConditionalSolutions 的协作图:

类成员
ConditionSet	value

LMCAS::ConditionSet

struct LMCAS::ConditionSet

在文件 conditional_result.hpp 第 45 行定义.

LMCAS::ConditionSet 的协作图:

类成员
vector< ExprPtr >	conditions
ExprPtr	predicate
string	variable

LMCAS::EmptySolutions

struct LMCAS::EmptySolutions

在文件 conditional_result.hpp 第 51 行定义.

LMCAS::EmptySolutions 的协作图:

LMCAS::EvaluatedTransform

struct LMCAS::EvaluatedTransform

受检变换成功时返回在 conditions 和收敛域 roc 条件下有效的已求值表达式。 支持性未决或收敛条件无法表示时，返回外层 Inconclusive 错误。

在文件 conditional_result.hpp 第 83 行定义.

LMCAS::EvaluatedTransform 的协作图:

类成员
vector< ExprPtr >	conditions
ExprPtr	expression
vector< ExprPtr >	roc

LMCAS::FiniteSolution

struct LMCAS::FiniteSolution

conditions 是在操作上下文假设下须同时满足的条件。 空条件保留原表达式定义域且不增加约束；整数参数遍历全体整数。

在文件 conditional_result.hpp 第 25 行定义.

LMCAS::FiniteSolution 的协作图:

类成员
vector< ExprPtr >	conditions
size_t	multiplicity = 1
ExprPtr	value

LMCAS::FiniteSolutions

struct LMCAS::FiniteSolutions

在文件 conditional_result.hpp 第 53 行定义.

LMCAS::FiniteSolutions 的协作图:

类成员
vector< FiniteSolution >	values

LMCAS::IntervalSolution

struct LMCAS::IntervalSolution

在文件 conditional_result.hpp 第 31 行定义.

LMCAS::IntervalSolution 的协作图:

类成员
vector< ExprPtr >	conditions
ExprPtr	lower
bool	lower_closed = true
ExprPtr	upper
bool	upper_closed = true

LMCAS::IntervalSolutions

struct LMCAS::IntervalSolutions

在文件 conditional_result.hpp 第 56 行定义.

LMCAS::IntervalSolutions 的协作图:

类成员
vector< IntervalSolution >	values

LMCAS::ParametricSolution

struct LMCAS::ParametricSolution

在文件 conditional_result.hpp 第 39 行定义.

LMCAS::ParametricSolution 的协作图:

类成员
vector< ExprPtr >	conditions
vector< string >	integer_parameters
ExprPtr	value

LMCAS::ParametricSolutions

struct LMCAS::ParametricSolutions

在文件 conditional_result.hpp 第 62 行定义.

LMCAS::ParametricSolutions 的协作图:

类成员
vector< ParametricSolution >	values

LMCAS::UniversalSolutions

struct LMCAS::UniversalSolutions

在文件 conditional_result.hpp 第 52 行定义.

LMCAS::UniversalSolutions 的协作图: