SymEngine::NonNegativeVisitor Class Reference
+ Inheritance diagram for SymEngine::NonNegativeVisitor:
+ Collaboration diagram for SymEngine::NonNegativeVisitor:

Public Member Functions

 NonNegativeVisitor (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)
tribool apply (const Basic &b)

Private Member Functions

void error ()

Private Attributes

tribool is_nonnegative_
const Assumptionsassumptions_

Detailed Description

Definition at line 101 of file test_visitors.h.

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