P4C
The P4 Compiler
|
This is the complete list of members for P4::SymbolicArray, including all inherited members.
AnyElement (defined in P4::SymbolicArray) | P4::SymbolicArray | friend |
as() const | P4::ICastable | inline |
as() | P4::ICastable | inline |
assign(const SymbolicValue *other) override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
checkedTo() const | P4::ICastable | inline |
checkedTo() | P4::ICastable | inline |
clone() const override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
dbprint(std::ostream &out) const override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
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::SymbolicArray | virtual |
get(const IR::Node *node, size_t index) const (defined in P4::SymbolicArray) | P4::SymbolicArray | inline |
hasUninitializedParts() const override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
id (defined in P4::SymbolicValue) | P4::SymbolicValue | |
is() const noexcept | P4::RTTI::Base | inline |
isA(TypeId typeId) const noexcept=0 | P4::RTTI::Base | pure virtual |
isScalar() const override (defined in P4::SymbolicArray) | P4::SymbolicArray | inlinevirtual |
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::SymbolicArray | virtual |
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::SymbolicArray | inline |
setAllUnknown() override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
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::SymbolicValue | inlineexplicitprotected |
to() noexcept | P4::RTTI::Base | inline |
P4::ICastable::to() const noexcept | P4::RTTI::Base | inline |
toImpl(TypeId typeId) const noexcept=0 (defined in P4::RTTI::Base) | P4::RTTI::Base | protectedpure virtual |
type (defined in P4::SymbolicValue) | P4::SymbolicValue | |
typeId() const noexcept=0 | P4::RTTI::Base | pure virtual |
~Base()=default (defined in P4::RTTI::Base) | P4::RTTI::Base | virtual |
~ICastable()=default (defined in P4::ICastable) | P4::ICastable | virtual |
~IHasDbPrint()=default (defined in P4::IHasDbPrint) | P4::IHasDbPrint | virtual |