Class ConditionSet

Inheritance Relationships

Base Type

Class Documentation

class SymEngine::ConditionSet : 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.

ConditionSet(const RCP<const Basic> &sym, const RCP<const Boolean> &condition)
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 Boolean> &get_condition() const

Public Static Functions

bool is_canonical(const RCP<const Basic> &sym, const RCP<const Boolean> &condition)