Public Member Functions | |
void | accept (Visitor &v) const override |
void | accept (EvalRealDoubleVisitorFinal &v) const override |
hash_t | __hash__ () const override |
bool | __eq__ (const Basic &o) const override |
Test equality. | |
int | compare (const Basic &o) const override |
vec_basic | get_args () const override |
Returns the list of arguments. | |
Complement (const RCP< const Set > &universe, const RCP< const Set > &container) | |
RCP< const Set > | set_intersection (const RCP< const Set > &o) const override |
RCP< const Set > | set_union (const RCP< const Set > &o) const override |
RCP< const Set > | set_complement (const RCP< const Set > &o) const override |
RCP< const Boolean > | contains (const RCP< const Basic > &a) const override |
const RCP< const Set > & | get_universe () const |
const RCP< const Set > & | get_container () const |
![]() | |
vec_basic | get_args () const override=0 |
Returns the list of arguments. | |
virtual RCP< const Set > | set_intersection (const RCP< const Set > &o) const =0 |
virtual RCP< const Set > | set_union (const RCP< const Set > &o) const =0 |
virtual RCP< const Set > | set_complement (const RCP< const Set > &o) const =0 |
virtual RCP< const Boolean > | contains (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 |
![]() | |
TypeID | get_type_code () const |
Basic () | |
Constructor. | |
Basic (const Basic &)=delete | |
Delete the copy constructor and assignment. | |
Basic & | operator= (const Basic &)=delete |
Assignment operator in continuation with above. | |
Basic (Basic &&)=delete | |
Delete the move constructor and assignment. | |
Basic & | operator= (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. | |
bool | __neq__ (const Basic &o) const |
true if this is not equal to o . | |
int | __cmp__ (const Basic &o) const |
Comparison operator. | |
virtual int | compare (const Basic &o) const =0 |
std::string | __str__ () const |
std::string | dumps () const |
Returns a string of the instance serialized. | |
RCP< const Basic > | subs (const map_basic_basic &subs_dict) const |
Substitutes 'subs_dict' into 'self'. | |
RCP< const Basic > | xreplace (const map_basic_basic &subs_dict) const |
virtual RCP< const Basic > | expand_as_exp () const |
expands the special function in terms of exp function | |
virtual vec_basic | get_args () const =0 |
Returns the list of arguments. | |
virtual void | accept (Visitor &v) const =0 |
virtual void | accept (EvalRealDoubleVisitorFinal &v) const =0 |
RCP< const Basic > | diff (const RCP< const Symbol > &x, bool cache=true) const |
![]() | |
RCP< Basic > | rcp_from_this () |
Get RCP<T> pointer to self (it will cast the pointer to T) | |
RCP< const Basic > | rcp_from_this () const |
Get RCP<const T> pointer to self (it will cast the pointer to const T) | |
RCP< const T2 > | rcp_from_this_cast () const |
Get RCP<T2> pointer to self (it will cast the pointer to T2) | |
unsigned int | use_count () const |
Static Public Attributes | |
static const TypeID | type_code_id = SYMENGINE_COMPLEMENT |
Private Attributes | |
RCP< const Set > | universe_ |
RCP< const Set > | container_ |
Additional Inherited Members | |
![]() | |
static RCP< const Basic > | loads (const std::string &) |
Creates an instance of a serialized string. | |
![]() | |
TypeID | type_code_ |
|
overridevirtual |
Test equality.
A virtual function for testing the equality of two Basic
objects
o | a constant reference to object to test against |
this
is equal to o
Implements SymEngine::Basic.
Definition at line 1397 of file sets.cpp.
|
overridevirtual |
Calculates the hash of the given SymEngine class. Use Basic.hash() which gives a cached version of the hash.
Implements SymEngine::Basic.
Definition at line 1389 of file sets.cpp.
|
overridevirtual |
Implements SymEngine::Basic.
|
overridevirtual |
Implements SymEngine::Basic.
|
overridevirtual |
Returns -1, 0, 1 for this < o, this == o, this > o
. This method is used when you want to sort things like x+y+z
into canonical order. This function assumes that o
is the same type as this
. Use __cmp__
if you want general comparison.
Implements SymEngine::Basic.
Definition at line 1407 of file sets.cpp.
|
overridevirtual |
Implements SymEngine::Set.
Definition at line 1419 of file sets.cpp.
|
inlineoverridevirtual |
Returns the list of arguments.
Implements SymEngine::Set.
Definition at line 434 of file sets.h.
|
inline |
|
inline |
|
overridevirtual |
Implements SymEngine::Set.
Definition at line 1439 of file sets.cpp.
|
overridevirtual |
Implements SymEngine::Set.
Definition at line 1434 of file sets.cpp.
|
overridevirtual |
Implements SymEngine::Set.
Definition at line 1425 of file sets.cpp.
|
static |