Inheritance diagram for P4::SymbolicHeader:

[legend]

Public Member Functions
	SymbolicHeader (const IR::Type_Header *type)

	SymbolicHeader (const IR::Type_Header type, bool uninitialized, const SymbolicValueFactory factory)

void	assign (const SymbolicValue *other) override

SymbolicValue *	clone () const override

void	dbprint (std::ostream &out) const override

	DECLARE_TYPEINFO (SymbolicHeader, SymbolicStruct)

bool	equals (const SymbolicValue *other) const override

SymbolicValue *	get (const IR::Node *node, cstring field) const override

bool	merge (const SymbolicValue *other) override

void	setAllUnknown () override

virtual void	setValid (bool v)

Public Member Functions inherited from P4::SymbolicStruct
	SymbolicStruct (const IR::Type_StructLike *type)

	SymbolicStruct (const IR::Type_StructLike type, bool uninitialized, const SymbolicValueFactory factory)

void	assign (const SymbolicValue *other) override

SymbolicValue *	clone () const override

void	dbprint (std::ostream &out) const override

	DECLARE_TYPEINFO (SymbolicStruct, SymbolicValue)

bool	equals (const SymbolicValue *other) const override

bool	hasUninitializedParts () const override

bool	isScalar () const override

bool	merge (const SymbolicValue *other) override

void	set (cstring field, SymbolicValue *value)

void	setAllUnknown () override

Public Member Functions inherited from P4::SymbolicValue
	DECLARE_TYPEINFO (SymbolicValue)

Public Member Functions inherited from P4::IHasDbPrint
void	print () const

Public Member Functions inherited from P4::ICastable
template<typename T >
T &	as ()
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
const T &	as () const
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
T *	checkedTo ()
	Performs a checked cast. A BUG occurs if the cast fails.

template<typename T >
const T *	checkedTo () const
	Performs a checked cast. A BUG occurs if the cast fails.

Public Member Functions inherited from P4::RTTI::Base
template<typename T >
bool	is () const noexcept

virtual bool	isA (TypeId typeId) const noexcept=0

template<typename T >
const T *	to () const noexcept
	Same as `to`, but returns const pointer to T.

template<typename T >
T *	to () noexcept

virtual TypeId	typeId () const noexcept=0

Public Attributes
SymbolicBool *	valid = nullptr

Public Attributes inherited from P4::SymbolicStruct
std::map< cstring, SymbolicValue * >	fieldValue

Public Attributes inherited from P4::SymbolicValue
const unsigned	id

const IR::Type *	type

Additional Inherited Members
Protected Member Functions inherited from P4::SymbolicValue
	SymbolicValue (const IR::Type *type)

Protected Member Functions inherited from P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0