retdec
|
Match a specified integer value. More...
#include <symbolic_tree_match.h>
Public Member Functions | |
specific_intval (uint64_t V) | |
bool | match (SymbolicTree &st) |
Public Attributes | |
uint64_t | Val |
Match a specified integer value.
|
inline |
|
inline |
uint64_t retdec::bin2llvmir::st_match::specific_intval::Val |