Public Member Functions | |
HasSymbolVisitor (Ptr< const Basic > x) | |
void | bvisit (const Symbol &x) |
void | bvisit (const FunctionSymbol &x) |
void | bvisit (const Basic &x) |
bool | apply (const Basic &b) |
Protected Attributes | |
Ptr< const Basic > | x_ |
bool | has_ |
Additional Inherited Members | |
Data Fields inherited from SymEngine::StopVisitor | |
bool | stop_ |