P4C
The P4 Compiler
•All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | List of all members
P4::SymbolicValueFactory Class Reference

Public Member Functions

 SymbolicValueFactory (const TypeMap *typeMap)
 
SymbolicValue * create (const IR::Type *type, bool uninitialized) const
 
unsigned getWidth (const IR::Type *type) const
 
bool isFixedWidth (const IR::Type *type) const