SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::expression::ExpressionTypeChecker< T > Struct Template Reference

#include <ExpressionContent.h>

Inheritance diagram for smtrat::expression::ExpressionTypeChecker< T >:
Inheritance graph
[legend]
Collaboration diagram for smtrat::expression::ExpressionTypeChecker< T >:
Collaboration graph
[legend]

Public Member Functions

bool operator() (const T &) const
 
template<typename T2 >
bool operator() (const T2 &) const
 

Detailed Description

template<typename T>
struct smtrat::expression::ExpressionTypeChecker< T >

Definition at line 127 of file ExpressionContent.h.

Member Function Documentation

◆ operator()() [1/2]

template<typename T >
bool smtrat::expression::ExpressionTypeChecker< T >::operator() ( const T &  ) const
inline

Definition at line 128 of file ExpressionContent.h.

◆ operator()() [2/2]

template<typename T >
template<typename T2 >
bool smtrat::expression::ExpressionTypeChecker< T >::operator() ( const T2 &  ) const
inline

Definition at line 132 of file ExpressionContent.h.

The documentation for this struct was generated from the following file: