P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::IR::SymbolicVariableEqual Struct Reference

Equals for SymbolicVariable pointers. We only compare the label. More...

#include <compare.h>

Public Member Functions

bool operator() (const IR::SymbolicVariable &s1, const IR::SymbolicVariable &s2) const
 
bool operator() (const IR::SymbolicVariable *s1, const IR::SymbolicVariable *s2) const
 

Detailed Description

Equals for SymbolicVariable pointers. We only compare the label.