Loading...
Searching...
No Matches
SymEngine::Set Class Referenceabstract
+ Inheritance diagram for SymEngine::Set:
+ Collaboration diagram for SymEngine::Set:

Public Member Functions

virtual vec_basic get_args () const =0
 Returns the list of arguments. More...
 
virtual RCP< const Setset_intersection (const RCP< const Set > &o) const =0
 
virtual RCP< const Setset_union (const RCP< const Set > &o) const =0
 
virtual RCP< const Setset_complement (const RCP< const Set > &o) const =0
 
virtual RCP< const Booleancontains (const RCP< const Basic > &a) const =0
 
bool is_subset (const RCP< const Set > &o) const
 
bool is_proper_subset (const RCP< const Set > &o) const
 
bool is_superset (const RCP< const Set > &o) const
 
bool is_proper_superset (const RCP< const Set > &o) const
 
- Public Member Functions inherited from SymEngine::Basic
TypeID get_type_code () const
 
 Basic ()
 Constructor. More...
 
 Basic (const Basic &)=delete
 Delete the copy constructor and assignment.
 
Basicoperator= (const Basic &)=delete
 Assignment operator in continuation with above.
 
 Basic (Basic &&)=delete
 Delete the move constructor and assignment.
 
Basicoperator= (Basic &&)=delete
 Assignment operator in continuation with above.
 
virtual hash_t __hash__ () const =0
 
hash_t hash () const
 
virtual bool __eq__ (const Basic &o) const =0
 Test equality. More...
 
bool __neq__ (const Basic &o) const
 true if this is not equal to o. More...
 
int __cmp__ (const Basic &o) const
 Comparison operator. More...
 
virtual int compare (const Basic &o) const =0
 
std::string __str__ () const
 
std::string dumps () const
 Returns a string of the instance serialized. More...
 
RCP< const Basicsubs (const map_basic_basic &subs_dict) const
 Substitutes 'subs_dict' into 'self'. More...
 
RCP< const Basicxreplace (const map_basic_basic &subs_dict) const
 
virtual RCP< const Basicexpand_as_exp () const
 expands the special function in terms of exp function More...
 
virtual vec_basic get_args () const =0
 Returns the list of arguments. More...
 
virtual void accept (Visitor &v) const =0
 
virtual void accept (EvalRealDoubleVisitorFinal &v) const =0
 
RCP< const Basicdiff (const RCP< const Symbol > &x, bool cache=true) const
 
- Public Member Functions inherited from SymEngine::EnableRCPFromThis< Basic >
RCP< Basicrcp_from_this ()
 Get RCP<T> pointer to self (it will cast the pointer to T) More...
 
RCP< const Basicrcp_from_this () const
 Get RCP<const T> pointer to self (it will cast the pointer to const T) More...
 
RCP< const T2 > rcp_from_this_cast () const
 Get RCP<T2> pointer to self (it will cast the pointer to T2) More...
 
unsigned int use_count () const
 

Additional Inherited Members

- Static Public Member Functions inherited from SymEngine::Basic
static RCP< const Basicloads (const std::string &)
 Creates an instance of a serialized string. More...
 
- Data Fields inherited from SymEngine::Basic
TypeID type_code_
 

Detailed Description

Definition at line 25 of file sets.h.

Member Function Documentation

◆ get_args()

◆ is_proper_subset()

bool SymEngine::Set::is_proper_subset ( const RCP< const Set > &  o) const
inline

Definition at line 37 of file sets.h.

38 {
39 return not eq(*this, *o) and this->is_subset(o);
40 }
bool eq(const Basic &a, const Basic &b)
Checks equality for a and b
Definition: basic-inl.h:21

◆ is_proper_superset()

bool SymEngine::Set::is_proper_superset ( const RCP< const Set > &  o) const
inline

Definition at line 45 of file sets.h.

46 {
47 return not eq(*this, *o) and this->is_superset(o);
48 }

◆ is_subset()

bool SymEngine::Set::is_subset ( const RCP< const Set > &  o) const
inline

Definition at line 33 of file sets.h.

34 {
35 return eq(*this->set_intersection(o), *this);
36 }

◆ is_superset()

bool SymEngine::Set::is_superset ( const RCP< const Set > &  o) const
inline

Definition at line 41 of file sets.h.

42 {
43 return o->is_subset(rcp_from_this_cast<const Set>());
44 }

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