Class StrictLessThan

• Defined in File logic.h

Inheritance Relationships

Base Type

• public SymEngine::Relational (Class Relational)

Class Documentation

class SymEngine::StrictLessThan : public SymEngine::Relational

Public Functions

StrictLessThan(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