![]() |
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 IHasDbPrint | |
| void | print () const |
Public Attributes | |
| std::map< const IR::IDeclaration *, SymbolicValue * > | map |
|
inlinevirtual |
Implements IHasDbPrint.