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