SymEngine::FiniteVisitor Class Reference

Inheritance diagram for SymEngine::FiniteVisitor:

Collaboration diagram for SymEngine::FiniteVisitor:

Public Member Functions
	FiniteVisitor (const Assumptions *assumptions)
void	bvisit (const Basic &x)
void	bvisit (const Symbol &x)
void	bvisit (const Infty &x)
void	bvisit (const NaN &x)
void	bvisit (const Number &x)
void	bvisit (const Set &x)
void	bvisit (const Relational &x)
void	bvisit (const Boolean &x)
void	bvisit (const Constant &x)
tribool	apply (const Basic &b)

Private Member Functions
void	error ()

Private Attributes
tribool	is_finite_
const Assumptions *	assumptions_

Detailed Description

Definition at line 409 of file test_visitors.h.

Constructor & Destructor Documentation

FiniteVisitor()

SymEngine::FiniteVisitor::FiniteVisitor ( const Assumptions *  assumptions )

inline

Definition at line 418 of file test_visitors.h.

: assumptions_(assumptions){};

Member Function Documentation

apply()

tribool SymEngine::FiniteVisitor::apply

(

const Basic &

b

)

Definition at line 925 of file test_visitors.cpp.

{
    b.accept(*this);
    return is_finite_;
}

bvisit() [1/9]

void SymEngine::FiniteVisitor::bvisit

(

const Basic &

x

)

Definition at line 876 of file test_visitors.cpp.

{
    is_finite_ = tribool::indeterminate;
}

bvisit() [2/9]

void SymEngine::FiniteVisitor::bvisit

(

const Boolean &

x

)

Definition at line 915 of file test_visitors.cpp.

{
    error();
}

bvisit() [3/9]

void SymEngine::FiniteVisitor::bvisit

(

const Constant &

x

)

Definition at line 920 of file test_visitors.cpp.

{
    is_finite_ = tribool::tritrue;
}

bvisit() [4/9]

void SymEngine::FiniteVisitor::bvisit

(

const Infty &

x

)

Definition at line 895 of file test_visitors.cpp.

{
    is_finite_ = tribool::trifalse;
}

bvisit() [5/9]

void SymEngine::FiniteVisitor::bvisit

(

const NaN &

x

)

Definition at line 900 of file test_visitors.cpp.

{
    error();
}

bvisit() [6/9]

void SymEngine::FiniteVisitor::bvisit

(

const Number &

x

)

Definition at line 890 of file test_visitors.cpp.

{
    is_finite_ = tribool::tritrue;
}

bvisit() [7/9]

void SymEngine::FiniteVisitor::bvisit

(

const Relational &

x

)

Definition at line 910 of file test_visitors.cpp.

{
    error();
}

bvisit() [8/9]

void SymEngine::FiniteVisitor::bvisit

(

const Set &

x

)

Definition at line 905 of file test_visitors.cpp.

{
    error();
}

bvisit() [9/9]

void SymEngine::FiniteVisitor::bvisit

(

const Symbol &

x

)

Definition at line 881 of file test_visitors.cpp.

{
    if (assumptions_) {
        is_finite_ = assumptions_->is_complex(x.rcp_from_this());
    } else {
        is_finite_ = tribool::indeterminate;
    }
}

error()

void SymEngine::FiniteVisitor::error ( )

private

Definition at line 870 of file test_visitors.cpp.

{
    throw SymEngineException(
        "Only numeric types allowed for is_finite/is_infinite");
}

Field Documentation

assumptions_

const Assumptions* SymEngine::FiniteVisitor::assumptions_

private

Definition at line 413 of file test_visitors.h.

is_finite_

tribool SymEngine::FiniteVisitor::is_finite_

private

Definition at line 412 of file test_visitors.h.

---

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

• /home/runner/work/symengine/symengine/symengine/test_visitors.h
• /home/runner/work/symengine/symengine/symengine/test_visitors.cpp