property_store.hpp 文件参考

PropertyStore class for mapping symbol names to declared properties. 更多...

#include "assumption.hpp"
#include "symbolic.hpp"
#include "interval.hpp"
#include "result.hpp"
#include <string>
#include <unordered_map>
#include <map>
#include <unordered_set>
#include <optional>
#include <vector>
#include <stdexcept>
#include <cstdint>

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

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

浏览该文件的源代码.

类
struct	LMCAS::SignHash
	Hash functor for Sign enum to allow use in unordered_set. 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::PropertyStoreResult = Result<void>

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

PropertyStore class for mapping symbol names to declared properties.

Provides storage and validation for domain, sign, parity, and boundedness properties with implication chains and contradiction detection.

在文件 property_store.hpp 中定义.