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

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

AnyElement (defined in P4::SymbolicArray)P4::SymbolicArrayfriend
as() constP4::ICastableinline
as()P4::ICastableinline
assign(const SymbolicValue *other) override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
checkedTo() constP4::ICastableinline
checkedTo()P4::ICastableinline
clone() const override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
dbprint(std::ostream &out) const override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
DECLARE_TYPEINFO(SymbolicArray, SymbolicValue) (defined in P4::SymbolicArray)P4::SymbolicArray
DECLARE_TYPEINFO(SymbolicValue) (defined in P4::SymbolicValue)P4::SymbolicValue
elemType (defined in P4::SymbolicArray)P4::SymbolicArray
equals(const SymbolicValue *other) const override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
get(const IR::Node *node, size_t index) const (defined in P4::SymbolicArray)P4::SymbolicArrayinline
hasUninitializedParts() const override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
id (defined in P4::SymbolicValue)P4::SymbolicValue
is() const noexceptP4::RTTI::Baseinline
isA(TypeId typeId) const noexcept=0P4::RTTI::Basepure virtual
isScalar() const override (defined in P4::SymbolicArray)P4::SymbolicArrayinlinevirtual
last(const IR::Node *node) (defined in P4::SymbolicArray)P4::SymbolicArray
lastIndex(const IR::Node *node) (defined in P4::SymbolicArray)P4::SymbolicArray
merge(const SymbolicValue *other) override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
next(const IR::Node *node) (defined in P4::SymbolicArray)P4::SymbolicArray
print() const (defined in P4::IHasDbPrint)P4::IHasDbPrint
set(size_t index, SymbolicHeader *value) (defined in P4::SymbolicArray)P4::SymbolicArrayinline
setAllUnknown() override (defined in P4::SymbolicArray)P4::SymbolicArrayvirtual
shift(int amount) (defined in P4::SymbolicArray)P4::SymbolicArray
size (defined in P4::SymbolicArray)P4::SymbolicArray
SymbolicArray(const IR::Type_Stack *stack, bool uninitialized, const SymbolicValueFactory *factory) (defined in P4::SymbolicArray)P4::SymbolicArray
SymbolicValue(const IR::Type *type) (defined in P4::SymbolicValue)P4::SymbolicValueinlineexplicitprotected
to() noexceptP4::RTTI::Baseinline
P4::ICastable::to() const noexceptP4::RTTI::Baseinline
toImpl(TypeId typeId) const noexcept=0 (defined in P4::RTTI::Base)P4::RTTI::Baseprotectedpure virtual
type (defined in P4::SymbolicValue)P4::SymbolicValue
typeId() const noexcept=0P4::RTTI::Basepure virtual
~Base()=default (defined in P4::RTTI::Base)P4::RTTI::Basevirtual
~ICastable()=default (defined in P4::ICastable)P4::ICastablevirtual
~IHasDbPrint()=default (defined in P4::IHasDbPrint)P4::IHasDbPrintvirtual