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
 

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_
 

Detailed Description

Definition at line 13 of file assumptions.h.


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