retdec
Public Member Functions | Public Attributes | List of all members
retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable > Struct Template Reference

#include <symbolic_tree_match.h>

Collaboration diagram for retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >:
Collaboration graph
[legend]

Public Member Functions

 CmpClass_match (PredicateTy &Pred, const LHS_t &LHS, const RHS_t &RHS, Class **i=nullptr)
 
bool match (SymbolicTree &st)
 

Public Attributes

PredicateTy & Predicate
 
LHS_t L
 
RHS_t R
 
Class ** cmp = nullptr
 

Constructor & Destructor Documentation

◆ CmpClass_match()

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::CmpClass_match ( PredicateTy &  Pred,
const LHS_t &  LHS,
const RHS_t &  RHS,
Class **  i = nullptr 
)
inline

Member Function Documentation

◆ match()

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
bool retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::match ( SymbolicTree st)
inline

Member Data Documentation

◆ cmp

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
Class** retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::cmp = nullptr

◆ L

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
LHS_t retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::L

◆ Predicate

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
PredicateTy& retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::Predicate

◆ R

template<typename LHS_t , typename RHS_t , typename Class , typename PredicateTy , bool Commutable = false>
RHS_t retdec::bin2llvmir::st_match::CmpClass_match< LHS_t, RHS_t, Class, PredicateTy, Commutable >::R

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