Public Member Functions | Private Member Functions | Private Attributes
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.

The documentation for this class was generated from the following files:
Generated by Doxygen 1.9.1 and the doxyYoda theme