![]() |
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 |