computation_context.hpp 文件参考

#include <atomic>
#include <cstddef>
#include <functional>
#include <memory>
#include <new>
#include <string>
#include <thread>
#include <utility>
#include <vector>
#include "result.hpp"
#include "unit.hpp"

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

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

浏览该文件的源代码.

类
class	LMCAS::CancellationToken
class	LMCAS::ComputationContext
struct	LMCAS::Diagnostic
class	LMCAS::DiagnosticEngine
struct	LMCAS::ResourceLimits
	Per-operation limits for APIs that accept a ComputationContext. 更多...

命名空间
namespace	LMCAS

枚举
enum class	LMCAS::DiagnosticSeverity { LMCAS::Info , LMCAS::Warning , LMCAS::Error }

---

类说明

LMCAS::Diagnostic

struct LMCAS::Diagnostic

在文件 computation_context.hpp 第 38 行定义.

LMCAS::Diagnostic 的协作图:

类成员
string	message
string	operation
DiagnosticSeverity	severity = DiagnosticSeverity::Info

LMCAS::ResourceLimits

struct LMCAS::ResourceLimits

Per-operation limits for APIs that accept a ComputationContext.

Context-free BigInt and symbolic constructors are intentionally unbounded; use checked, context-aware entry points when processing untrusted input.

在文件 computation_context.hpp 第 26 行定义.

LMCAS::ResourceLimits 的协作图:

类成员
size_t	max_ast_nodes = 1'000'000	Reference-expanded nodes per AST or output forest.
size_t	max_diagnostics = 10'000	Stored diagnostics.
size_t	max_expansion_terms = 100'000	One checked expansion.
size_t	max_input_bytes = 1'048'576	One checked input buffer.
size_t	max_integer_bits = 1'000'000	One checked integer result.
size_t	max_recursion_depth = 256	Simultaneous checked depth.
size_t	max_steps = 10'000'000	Cumulative checked steps.