SymEngine::SupVisitor Class Reference

Inheritance diagram for SymEngine::SupVisitor:

Collaboration diagram for SymEngine::SupVisitor:

Public Member Functions
void	bvisit (const Basic &x)
void	bvisit (const Set &x)
void	bvisit (const Reals &x)
void	bvisit (const Rationals &x)
void	bvisit (const Integers &x)
void	bvisit (const Naturals &x)
void	bvisit (const Naturals0 &x)
void	bvisit (const Interval &x)
void	bvisit (const FiniteSet &x)
void	bvisit (const Union &x)
void	bvisit (const Complement &x)
void	bvisit (const ImageSet &x)
RCP< const Basic >	apply (const Set &s)

Private Attributes
RCP< const Basic >	sup_

Detailed Description

Definition at line 10 of file set_funcs.cpp.

Constructor & Destructor Documentation

SupVisitor()

SymEngine::SupVisitor::SupVisitor ( )

inline

Definition at line 16 of file set_funcs.cpp.

{}

Member Function Documentation

apply()

RCP< const Basic > SymEngine::SupVisitor::apply ( const Set &  s )

inline

Definition at line 83 of file set_funcs.cpp.

    {
        s.accept(*this);
        return sup_;
    };

bvisit() [1/12]

void SymEngine::SupVisitor::bvisit ( const Basic &  x )

inline

Definition at line 18 of file set_funcs.cpp.

{};

bvisit() [2/12]

void SymEngine::SupVisitor::bvisit ( const Complement &  x )

inline

Definition at line 73 of file set_funcs.cpp.

    {
        throw NotImplementedError("sup for Complement not implemented");
    };

bvisit() [3/12]

void SymEngine::SupVisitor::bvisit ( const FiniteSet &  x )

inline

Definition at line 56 of file set_funcs.cpp.

    {
        const set_basic &container = x.get_container();
        vec_basic v(container.begin(), container.end());
        sup_ = max(v);
    };

bvisit() [4/12]

void SymEngine::SupVisitor::bvisit ( const ImageSet &  x )

inline

Definition at line 78 of file set_funcs.cpp.

    {
        throw NotImplementedError("sup for ImageSet not implemented");
    };

bvisit() [5/12]

void SymEngine::SupVisitor::bvisit ( const Integers &  x )

inline

Definition at line 36 of file set_funcs.cpp.

    {
        sup_ = infty(1);
    };

bvisit() [6/12]

void SymEngine::SupVisitor::bvisit ( const Interval &  x )

inline

Definition at line 51 of file set_funcs.cpp.

    {
        sup_ = x.get_end();
    };

bvisit() [7/12]

void SymEngine::SupVisitor::bvisit ( const Naturals &  x )

inline

Definition at line 41 of file set_funcs.cpp.

    {
        sup_ = infty(1);
    };

bvisit() [8/12]

void SymEngine::SupVisitor::bvisit ( const Naturals0 &  x )

inline

Definition at line 46 of file set_funcs.cpp.

    {
        sup_ = infty(1);
    };

bvisit() [9/12]

void SymEngine::SupVisitor::bvisit ( const Rationals &  x )

inline

Definition at line 31 of file set_funcs.cpp.

    {
        sup_ = infty(1);
    };

bvisit() [10/12]

void SymEngine::SupVisitor::bvisit ( const Reals &  x )

inline

Definition at line 26 of file set_funcs.cpp.

    {
        sup_ = infty(1);
    };

bvisit() [11/12]

void SymEngine::SupVisitor::bvisit ( const Set &  x )

inline

Definition at line 20 of file set_funcs.cpp.

    {
        throw SymEngineException(
            "Set not partially ordered: supremum undefined");
    };

bvisit() [12/12]

void SymEngine::SupVisitor::bvisit ( const Union &  x )

inline

Definition at line 63 of file set_funcs.cpp.

    {
        vec_basic suprema;
        for (auto &a : x.get_container()) {
            a->accept(*this);
            suprema.push_back(sup_);
        }
        sup_ = max(suprema);
    };

Field Documentation

sup_

RCP<const Basic> SymEngine::SupVisitor::sup_

private

Definition at line 13 of file set_funcs.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/symengine/symengine/symengine/set_funcs.cpp