assumption.hpp 文件参考

Core enumerations and forward declarations for the Assumption System. 更多...

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

枚举
enum class	LMCAS::Boundedness { LMCAS::Bounded , LMCAS::Unbounded , LMCAS::Unknown }
	Boundedness classification for symbols. 更多...
enum class	LMCAS::Definiteness {   LMCAS::PositiveDefinite , LMCAS::PositiveSemiDefinite , LMCAS::NegativeDefinite , LMCAS::NegativeSemiDefinite ,   LMCAS::Indefinite , LMCAS::Unknown }
	Matrix definiteness classification. 更多...
enum class	LMCAS::Domain {   LMCAS::Complex , LMCAS::Real , LMCAS::Algebraic , LMCAS::Rational ,   LMCAS::Integer , LMCAS::Natural , LMCAS::PositiveInt }
	Mathematical domain hierarchy (least specific → most specific). Complex ⊃ Real ⊃ Algebraic ⊃ Rational ⊃ Integer ⊃ Natural ⊃ PositiveInt 更多...
enum class	LMCAS::Finiteness { LMCAS::Finite , LMCAS::Divergent , LMCAS::Unknown }
	Finiteness classification for limits and sequences. 更多...
enum class	LMCAS::Monotonicity {   LMCAS::Increasing , LMCAS::Decreasing , LMCAS::NonDecreasing , LMCAS::NonIncreasing ,   LMCAS::Unknown }
	Monotonicity classification for functions over intervals. 更多...
enum class	LMCAS::Parity { LMCAS::Even , LMCAS::Odd , LMCAS::Unknown }
	Integer parity classification. 更多...
enum class	LMCAS::Sign {   LMCAS::Positive , LMCAS::Negative , LMCAS::NonNegative , LMCAS::NonPositive ,   LMCAS::Zero , LMCAS::NonZero }
	Sign classification for symbols and expressions. 更多...
enum class	LMCAS::Tribool { LMCAS::True , LMCAS::False , LMCAS::Unknown }
	Tri-state logic value for property queries. 更多...

详细描述

Core enumerations and forward declarations for the Assumption System.

Defines Domain, Sign, Parity, Boundedness, and Tribool enumerations used throughout the assumption-based reasoning layers (PropertyStore, RelationStore, InferenceEngine, AssumptionContext, QueryInterface).

在文件 assumption.hpp 中定义.