P4::SymbolicVarbit Member List

This is the complete list of members for P4::SymbolicVarbit, including all inherited members.

as() const	ICastable	inline
as()	ICastable	inline
assign(const SymbolicValue *other) override (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	virtual
checkedTo() const	ICastable	inline
checkedTo()	ICastable	inline
clone() const override (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	inlinevirtual
dbprint(std::ostream &out) const override (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	inlinevirtual
DECLARE_TYPEINFO(SymbolicVarbit, ScalarValue) (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit
DECLARE_TYPEINFO(ScalarValue, SymbolicValue) (defined in P4::ScalarValue)	P4::ScalarValue
DECLARE_TYPEINFO(SymbolicValue) (defined in P4::SymbolicValue)	P4::SymbolicValue
equals(const SymbolicValue *other) const override (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	virtual
hasUninitializedParts() const override (defined in P4::ScalarValue)	P4::ScalarValue	inlinevirtual
id (defined in P4::SymbolicValue)	P4::SymbolicValue
init(bool uninit) (defined in P4::ScalarValue)	P4::ScalarValue	inlinestatic
is() const noexcept	RTTI::Base	inline
isA(TypeId typeId) const noexcept=0	RTTI::Base	pure virtual
isKnown() const (defined in P4::ScalarValue)	P4::ScalarValue	inline
isScalar() const override (defined in P4::ScalarValue)	P4::ScalarValue	inlinevirtual
isUninitialized() const (defined in P4::ScalarValue)	P4::ScalarValue	inline
isUnknown() const (defined in P4::ScalarValue)	P4::ScalarValue	inline
merge(const SymbolicValue *other) override (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	virtual
mergeState(ValueState other) const (defined in P4::ScalarValue)	P4::ScalarValue	inline
print() const (defined in IHasDbPrint)	IHasDbPrint
ScalarValue(ScalarValue::ValueState state, const IR::Type *type) (defined in P4::ScalarValue)	P4::ScalarValue	inlineprotected
setAllUnknown() override (defined in P4::ScalarValue)	P4::ScalarValue	inlinevirtual
state (defined in P4::ScalarValue)	P4::ScalarValue
SymbolicValue(const IR::Type *type) (defined in P4::SymbolicValue)	P4::SymbolicValue	inlineexplicitprotected
SymbolicVarbit(const IR::Type_Varbits *type) (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	inlineexplicit
SymbolicVarbit(ScalarValue::ValueState state, const IR::Type_Varbits *type) (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit	inline
SymbolicVarbit(const SymbolicVarbit &other)=default (defined in P4::SymbolicVarbit)	P4::SymbolicVarbit
to() noexcept	RTTI::Base	inline
ICastable::to() const noexcept	RTTI::Base	inline
toImpl(TypeId typeId) const noexcept=0 (defined in RTTI::Base)	RTTI::Base	protectedpure virtual
type (defined in P4::SymbolicValue)	P4::SymbolicValue
typeId() const noexcept=0	RTTI::Base	pure virtual
ValueState enum name (defined in P4::ScalarValue)	P4::ScalarValue
~Base()=default (defined in RTTI::Base)	RTTI::Base	virtual
~ICastable()=default (defined in ICastable)	ICastable	virtual
~IHasDbPrint()=default (defined in IHasDbPrint)	IHasDbPrint	virtual