P4C
The P4 Compiler
|
Public Member Functions | |
ValueMap * | clone () const |
void | dbprint (std::ostream &out) const |
bool | equals (const ValueMap *other) const |
ValueMap * | filter (std::function< bool(const IR::IDeclaration *, const SymbolicValue *)> filter) |
SymbolicValue * | get (const IR::IDeclaration *left) const |
bool | merge (const ValueMap *other) |
void | set (const IR::IDeclaration *left, SymbolicValue *right) |
Public Member Functions inherited from P4::IHasDbPrint | |
void | print () const |
Public Attributes | |
std::map< const IR::IDeclaration *, SymbolicValue * > | map |
|
inlinevirtual |
Implements P4::IHasDbPrint.