LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
LMCAS::FactsQuery 成员列表

成员的完整列表，这些成员属于 LMCAS::FactsQuery,包括所有继承而来的类成员

is_negative(const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0LMCAS::FactsQuerypure virtual
is_nonnegative(const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0LMCAS::FactsQuerypure virtual
is_nonzero(const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0LMCAS::FactsQuerypure virtual
is_positive(const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0LMCAS::FactsQuerypure virtual
is_real(const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0LMCAS::FactsQuerypure virtual
~FactsQuery()=defaultLMCAS::FactsQueryprotected