retdec
Public Member Functions | Public Attributes | Private Member Functions | List of all members
retdec::bin2llvmir::st_match::neg_match< LHS_t > Struct Template Reference

#include <symbolic_tree_match.h>

Public Member Functions

 neg_match (const LHS_t &LHS)
 
bool match (SymbolicTree &st)
 

Public Attributes

LHS_t L
 

Private Member Functions

bool matchIfNeg (SymbolicTree &LHS, SymbolicTree &RHS)
 

Constructor & Destructor Documentation

◆ neg_match()

template<typename LHS_t >
retdec::bin2llvmir::st_match::neg_match< LHS_t >::neg_match ( const LHS_t &  LHS)
inline

Member Function Documentation

◆ match()

template<typename LHS_t >
bool retdec::bin2llvmir::st_match::neg_match< LHS_t >::match ( SymbolicTree st)
inline

◆ matchIfNeg()

template<typename LHS_t >
bool retdec::bin2llvmir::st_match::neg_match< LHS_t >::matchIfNeg ( SymbolicTree LHS,
SymbolicTree RHS 
)
inlineprivate

Member Data Documentation

◆ L

template<typename LHS_t >
LHS_t retdec::bin2llvmir::st_match::neg_match< LHS_t >::L

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