Class ImageSet

Inheritance Relationships

Base Type

Class Documentation

class SymEngine::ImageSet : public SymEngine::Set

Public Functions

hash_t __hash__() const

Calculates the hash of the given SymEngine class. Use Basic.hash() which gives a cached version of the hash.

Return

64-bit integer value for the hash

bool __eq__(const Basic &o) const

true if this is equal to o. Deprecated: Use eq(const Basic &a, const Basic &b) non-member method

int compare(const Basic &o) const

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.

vec_basic get_args() const

Returns the list of arguments.

ImageSet(const RCP<const Basic> &sym, const RCP<const Basic> &expr, const RCP<const Set> &base)
RCP<const Set> set_intersection(const RCP<const Set> &o) const
RCP<const Set> set_union(const RCP<const Set> &o) const
RCP<const Set> set_complement(const RCP<const Set> &o) const
RCP<const Boolean> contains(const RCP<const Basic> &a) const
const RCP<const Basic> &get_symbol() const
const RCP<const Basic> &get_expr() const
const RCP<const Set> &get_baseset() const
RCP<const Set> create(const RCP<const Basic> &sym, const RCP<const Basic> &expr, const RCP<const Set> &base) const

Public Static Functions

bool is_canonical(const RCP<const Basic> &sym, const RCP<const Basic> &expr, const RCP<const Set> &base)