P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::SymbolicStruct Member List

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

as() constICastableinline
as()ICastableinline
assign(const SymbolicValue *other) override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
checkedTo() constICastableinline
checkedTo()ICastableinline
clone() const override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
dbprint(std::ostream &out) const override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
DECLARE_TYPEINFO(SymbolicStruct, SymbolicValue) (defined in P4::SymbolicStruct)P4::SymbolicStruct
DECLARE_TYPEINFO(SymbolicValue) (defined in P4::SymbolicValue)P4::SymbolicValue
equals(const SymbolicValue *other) const override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
fieldValue (defined in P4::SymbolicStruct)P4::SymbolicStruct
get(const IR::Node *, cstring field) const (defined in P4::SymbolicStruct)P4::SymbolicStructinlinevirtual
hasUninitializedParts() const override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
id (defined in P4::SymbolicValue)P4::SymbolicValue
is() const noexceptRTTI::Baseinline
isA(TypeId typeId) const noexcept=0RTTI::Basepure virtual
isScalar() const override (defined in P4::SymbolicStruct)P4::SymbolicStructinlinevirtual
merge(const SymbolicValue *other) override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
print() const (defined in IHasDbPrint)IHasDbPrint
set(cstring field, SymbolicValue *value) (defined in P4::SymbolicStruct)P4::SymbolicStructinline
setAllUnknown() override (defined in P4::SymbolicStruct)P4::SymbolicStructvirtual
SymbolicStruct(const IR::Type_StructLike *type) (defined in P4::SymbolicStruct)P4::SymbolicStructinlineexplicit
SymbolicStruct(const IR::Type_StructLike *type, bool uninitialized, const SymbolicValueFactory *factory) (defined in P4::SymbolicStruct)P4::SymbolicStruct
SymbolicValue(const IR::Type *type) (defined in P4::SymbolicValue)P4::SymbolicValueinlineexplicitprotected
to() noexceptRTTI::Baseinline
ICastable::to() const noexceptRTTI::Baseinline
toImpl(TypeId typeId) const noexcept=0 (defined in RTTI::Base)RTTI::Baseprotectedpure virtual
type (defined in P4::SymbolicValue)P4::SymbolicValue
typeId() const noexcept=0RTTI::Basepure virtual
~Base()=default (defined in RTTI::Base)RTTI::Basevirtual
~ICastable()=default (defined in ICastable)ICastablevirtual
~IHasDbPrint()=default (defined in IHasDbPrint)IHasDbPrintvirtual