Inheritance diagram for P4::SymbolicVarbit:

[legend]

Public Member Functions
	SymbolicVarbit (const IR::Type_Varbits *type)

	SymbolicVarbit (const SymbolicVarbit &other)=default

	SymbolicVarbit (ScalarValue::ValueState state, const IR::Type_Varbits *type)

void	assign (const SymbolicValue *other) override

SymbolicValue *	clone () const override

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

	DECLARE_TYPEINFO (SymbolicVarbit, ScalarValue)

bool	equals (const SymbolicValue *other) const override

bool	merge (const SymbolicValue *other) override

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

bool	hasUninitializedParts () const override

bool	isKnown () const

bool	isScalar () const override

bool	isUninitialized () const

bool	isUnknown () const

ValueState	mergeState (ValueState other) const

void	setAllUnknown () override

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

Public Member Functions inherited from IHasDbPrint
void	print () const

Public Member Functions inherited from 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 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

Additional Inherited Members
Public Types inherited from P4::ScalarValue
enum class	ValueState { Uninitialized , NotConstant , Constant }

Static Public Member Functions inherited from P4::ScalarValue
static ValueState	init (bool uninit)

Public Attributes inherited from P4::ScalarValue
ValueState	state

Public Attributes inherited from P4::SymbolicValue
const unsigned	id

const IR::Type *	type

Protected Member Functions inherited from P4::ScalarValue
	ScalarValue (ScalarValue::ValueState state, const IR::Type *type)

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

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

Member Function Documentation

◆ assign()

void P4::SymbolicVarbit::assign ( const SymbolicValue * other )

overridevirtual

Implements P4::SymbolicValue.

◆ clone()

SymbolicValue * P4::SymbolicVarbit::clone ( ) const

inlineoverridevirtual

Implements P4::SymbolicValue.

◆ dbprint()

void P4::SymbolicVarbit::dbprint ( std::ostream & out ) const

inlineoverridevirtual

Reimplemented from P4::ScalarValue.

◆ equals()

bool P4::SymbolicVarbit::equals ( const SymbolicValue * other ) const

overridevirtual

Implements P4::SymbolicValue.

◆ merge()

bool P4::SymbolicVarbit::merge ( const SymbolicValue * other )

overridevirtual

Implements P4::SymbolicValue.

Public Member Functions

Additional Inherited Members

Member Function Documentation

◆ assign()

◆ clone()

◆ dbprint()

◆ equals()

◆ merge()