![]() |
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 | ICastable | inline |
as() | ICastable | inline |
assign(const SymbolicValue *other) override (defined in P4::SymbolicArray) | P4::SymbolicArray | virtual |
checkedTo() const | ICastable | inline |
checkedTo() | 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 | RTTI::Base | inline |
isA(TypeId typeId) const noexcept=0 | 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 IHasDbPrint) | 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 | 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 |
~Base()=default (defined in RTTI::Base) | RTTI::Base | virtual |
~ICastable()=default (defined in ICastable) | ICastable | virtual |
~IHasDbPrint()=default (defined in IHasDbPrint) | IHasDbPrint | virtual |