SymEngine::ZeroVisitor Class Reference

Inheritance diagram for SymEngine::ZeroVisitor:

Collaboration diagram for SymEngine::ZeroVisitor:

Public Member Functions
	ZeroVisitor (const Assumptions *assumptions)
void	bvisit (const Basic &x)
void	bvisit (const Symbol &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)
void	bvisit (const Abs &x)
void	bvisit (const Conjugate &x)
void	bvisit (const Sign &x)
void	bvisit (const PrimePi &x)
tribool	apply (const Basic &b)

Private Member Functions
void	error ()

Private Attributes
tribool	is_zero_
const Assumptions *	assumptions_

Detailed Description

Definition at line 9 of file test_visitors.h.

Constructor & Destructor Documentation

ZeroVisitor()

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

inline

Definition at line 18 of file test_visitors.h.

: assumptions_(assumptions) {}

Member Function Documentation

apply()

tribool SymEngine::ZeroVisitor::apply

(

const Basic &

b

)

Definition at line 76 of file test_visitors.cpp.

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

bvisit() [1/11]

void SymEngine::ZeroVisitor::bvisit

(

const Abs &

x

)

Definition at line 37 of file test_visitors.cpp.

{
    x.get_arg()->accept(*this);
}

bvisit() [2/11]

void SymEngine::ZeroVisitor::bvisit

(

const Basic &

x

)

Definition at line 12 of file test_visitors.cpp.

{
    is_zero_ = tribool::indeterminate;
}

bvisit() [3/11]

void SymEngine::ZeroVisitor::bvisit

(

const Boolean &

x

)

Definition at line 27 of file test_visitors.cpp.

{
    error();
}

bvisit() [4/11]

void SymEngine::ZeroVisitor::bvisit

(

const Conjugate &

x

)

Definition at line 42 of file test_visitors.cpp.

{
    x.get_arg()->accept(*this);
}

bvisit() [5/11]

void SymEngine::ZeroVisitor::bvisit

(

const Constant &

x

)

Definition at line 32 of file test_visitors.cpp.

{
    is_zero_ = tribool::trifalse;
}

bvisit() [6/11]

void SymEngine::ZeroVisitor::bvisit

(

const Number &

x

)

Definition at line 58 of file test_visitors.cpp.

{
    if (bool(x.is_zero())) {
        is_zero_ = tribool::tritrue;
    } else {
        is_zero_ = tribool::trifalse;
    }
}

bvisit() [7/11]

void SymEngine::ZeroVisitor::bvisit

(

const PrimePi &

x

)

Definition at line 52 of file test_visitors.cpp.

{
    // First prime is 2 so pi(x) is zero for x < 2
    is_zero_ = is_negative(*sub(x.get_arg(), integer(2)));
}

bvisit() [8/11]

void SymEngine::ZeroVisitor::bvisit

(

const Relational &

x

)

Definition at line 22 of file test_visitors.cpp.

{
    error();
}

bvisit() [9/11]

void SymEngine::ZeroVisitor::bvisit

(

const Set &

x

)

Definition at line 17 of file test_visitors.cpp.

{
    error();
}

bvisit() [10/11]

void SymEngine::ZeroVisitor::bvisit

(

const Sign &

x

)

Definition at line 47 of file test_visitors.cpp.

{
    x.get_arg()->accept(*this);
}

bvisit() [11/11]

void SymEngine::ZeroVisitor::bvisit

(

const Symbol &

x

)

Definition at line 67 of file test_visitors.cpp.

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

error()

void SymEngine::ZeroVisitor::error ( )

private

Definition at line 6 of file test_visitors.cpp.

{
    throw SymEngineException(
        "Only numeric types allowed for is_zero/is_nonzero");
}

Field Documentation

assumptions_

const Assumptions* SymEngine::ZeroVisitor::assumptions_

private

Definition at line 13 of file test_visitors.h.

is_zero_

tribool SymEngine::ZeroVisitor::is_zero_

private

Definition at line 12 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