![]() |
P4C
The P4 Compiler
|
This is the complete list of members for P4::SymbolicTuple, including all inherited members.
add(SymbolicValue *value) (defined in P4::SymbolicTuple) | P4::SymbolicTuple | inline |
as() const | ICastable | inline |
as() | ICastable | inline |
assign(const SymbolicValue *) override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | inlinevirtual |
checkedTo() const | ICastable | inline |
checkedTo() | ICastable | inline |
clone() const override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | virtual |
dbprint(std::ostream &out) const override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | inlinevirtual |
DECLARE_TYPEINFO(SymbolicTuple, SymbolicValue) (defined in P4::SymbolicTuple) | P4::SymbolicTuple | |
DECLARE_TYPEINFO(SymbolicValue) (defined in P4::SymbolicValue) | P4::SymbolicValue | |
equals(const SymbolicValue *other) const override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | virtual |
get(size_t index) const (defined in P4::SymbolicTuple) | P4::SymbolicTuple | inline |
hasUninitializedParts() const override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | 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::SymbolicTuple) | P4::SymbolicTuple | inlinevirtual |
merge(const SymbolicValue *other) override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | virtual |
print() const (defined in IHasDbPrint) | IHasDbPrint | |
setAllUnknown() override (defined in P4::SymbolicTuple) | P4::SymbolicTuple | virtual |
SymbolicTuple(const IR::Type_Tuple *type) (defined in P4::SymbolicTuple) | P4::SymbolicTuple | inlineexplicit |
SymbolicTuple(const IR::Type_Tuple *type, bool uninitialized, const SymbolicValueFactory *factory) (defined in P4::SymbolicTuple) | P4::SymbolicTuple | |
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 |