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