SymEngine::Assumptions Class Reference

Collaboration diagram for SymEngine::Assumptions:

Public Member Functions
	Assumptions (const set_basic &statements)
tribool	is_complex (const RCP< const Basic > &symbol) const
tribool	is_real (const RCP< const Basic > &symbol) const
tribool	is_rational (const RCP< const Basic > &symbol) const
tribool	is_integer (const RCP< const Basic > &symbol) const
tribool	is_positive (const RCP< const Basic > &symbol) const
tribool	is_nonnegative (const RCP< const Basic > &symbol) const
tribool	is_negative (const RCP< const Basic > &symbol) const
tribool	is_nonpositive (const RCP< const Basic > &symbol) const
tribool	is_nonzero (const RCP< const Basic > &symbol) const
tribool	is_zero (const RCP< const Basic > &symbol) const

Private Member Functions
void	set_map (umap_basic_bool &map, const RCP< const Basic > &symbol, bool value)
tribool	from_map (const umap_basic_bool &map, const RCP< const Basic > &symbol) const

Private Attributes
set_basic	complex_symbols_
set_basic	real_symbols_
set_basic	rational_symbols_
set_basic	integer_symbols_
umap_basic_bool	positive_
umap_basic_bool	nonnegative_
umap_basic_bool	negative_
umap_basic_bool	nonpositive_
umap_basic_bool	nonzero_
umap_basic_bool	zero_

Detailed Description

Definition at line 13 of file assumptions.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/symengine/symengine/symengine/assumptions.h
• /home/runner/work/symengine/symengine/symengine/assumptions.cpp