Inheritance diagram for P4::SymbolicBool:

[legend]

Public Member Functions
	SymbolicBool (bool value)

	SymbolicBool (const IR::BoolLiteral *constant)

	SymbolicBool (const SymbolicBool &other)=default

	SymbolicBool (ScalarValue::ValueState state)

void	assign (const SymbolicValue *other) override

SymbolicValue *	clone () const override

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

	DECLARE_TYPEINFO (SymbolicBool, 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 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
bool	value

Public Attributes inherited from P4::ScalarValue
ValueState	state

Public Attributes inherited from P4::SymbolicValue
const unsigned	id

const IR::Type *	type

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)

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 P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Member Function Documentation

◆ assign()

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

overridevirtual

Implements P4::SymbolicValue.

◆ clone()

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

inlineoverridevirtual

Implements P4::SymbolicValue.

◆ dbprint()

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

inlineoverridevirtual

Reimplemented from P4::ScalarValue.

◆ equals()

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

overridevirtual

Implements P4::SymbolicValue.

◆ merge()

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

overridevirtual

Implements P4::SymbolicValue.

Public Member Functions

Public Attributes

Additional Inherited Members

Member Function Documentation

◆ assign()

◆ clone()

◆ dbprint()

◆ equals()

◆ merge()