![]()  | 
  
    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.