Class Not

• Defined in File logic.h

Inheritance Relationships

Base Type

• public SymEngine::Boolean (Class Boolean)

Class Documentation

class SymEngine::Not : public SymEngine::Boolean

Public Functions

Not(const RCP<const Boolean> &s)

bool is_canonical(const RCP<const Boolean> &s)

hash_t __hash__() const

Return

the hash

vec_basic get_args() const

Returns the list of arguments.

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

Structural equality comparator.

RCP<const Boolean> get_arg() const

RCP<const Boolean> logical_not() const