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

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

as() constP4::ICastableinline
as()P4::ICastableinline
assign(const SymbolicValue *other) override (defined in P4::SymbolicVarbit)P4::SymbolicVarbitvirtual
checkedTo() constP4::ICastableinline
checkedTo()P4::ICastableinline
clone() const override (defined in P4::SymbolicVarbit)P4::SymbolicVarbitinlinevirtual
dbprint(std::ostream &out) const override (defined in P4::SymbolicVarbit)P4::SymbolicVarbitinlinevirtual
DECLARE_TYPEINFO(SymbolicVarbit, ScalarValue) (defined in P4::SymbolicVarbit)P4::SymbolicVarbit
DECLARE_TYPEINFO(ScalarValue, SymbolicValue) (defined in P4::ScalarValue)P4::ScalarValue
DECLARE_TYPEINFO(SymbolicValue) (defined in P4::SymbolicValue)P4::SymbolicValue
equals(const SymbolicValue *other) const override (defined in P4::SymbolicVarbit)P4::SymbolicVarbitvirtual
hasUninitializedParts() const override (defined in P4::ScalarValue)P4::ScalarValueinlinevirtual
id (defined in P4::SymbolicValue)P4::SymbolicValue
init(bool uninit) (defined in P4::ScalarValue)P4::ScalarValueinlinestatic
is() const noexceptP4::RTTI::Baseinline
isA(TypeId typeId) const noexcept=0P4::RTTI::Basepure virtual
isKnown() const (defined in P4::ScalarValue)P4::ScalarValueinline
isScalar() const override (defined in P4::ScalarValue)P4::ScalarValueinlinevirtual
isUninitialized() const (defined in P4::ScalarValue)P4::ScalarValueinline
isUnknown() const (defined in P4::ScalarValue)P4::ScalarValueinline
merge(const SymbolicValue *other) override (defined in P4::SymbolicVarbit)P4::SymbolicVarbitvirtual
mergeState(ValueState other) const (defined in P4::ScalarValue)P4::ScalarValueinline
print() const (defined in P4::IHasDbPrint)P4::IHasDbPrint
ScalarValue(ScalarValue::ValueState state, const IR::Type *type) (defined in P4::ScalarValue)P4::ScalarValueinlineprotected
setAllUnknown() override (defined in P4::ScalarValue)P4::ScalarValueinlinevirtual
state (defined in P4::ScalarValue)P4::ScalarValue
SymbolicValue(const IR::Type *type) (defined in P4::SymbolicValue)P4::SymbolicValueinlineexplicitprotected
SymbolicVarbit(const IR::Type_Varbits *type) (defined in P4::SymbolicVarbit)P4::SymbolicVarbitinlineexplicit
SymbolicVarbit(ScalarValue::ValueState state, const IR::Type_Varbits *type) (defined in P4::SymbolicVarbit)P4::SymbolicVarbitinline
SymbolicVarbit(const SymbolicVarbit &other)=default (defined in P4::SymbolicVarbit)P4::SymbolicVarbit
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
ValueState enum name (defined in P4::ScalarValue)P4::ScalarValue
~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