Class Equality

• Defined in File logic.h

Inheritance Relationships

Base Type

• public SymEngine::Relational (Class Relational)

Class Documentation

class SymEngine::Equality : public SymEngine::Relational

Public Functions

Equality(const RCP<const Basic> &lhs, const RCP<const Basic> &rhs)

Class for operator ==.

RCP<const Basic> create(const RCP<const Basic> &lhs, const RCP<const Basic> &rhs) const

Method to construct classes with canonicalization.

RCP<const Boolean> logical_not() const