 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for P4::SymbolicBool, including all inherited members.
| as() const | P4::ICastable | inline |
| as() | P4::ICastable | inline |
| assign(const SymbolicValue *other) override (defined in P4::SymbolicBool) | P4::SymbolicBool | virtual |
| checkedTo() const | P4::ICastable | inline |
| checkedTo() | P4::ICastable | inline |
| clone() const override (defined in P4::SymbolicBool) | P4::SymbolicBool | inlinevirtual |
| dbprint(std::ostream &out) const override (defined in P4::SymbolicBool) | P4::SymbolicBool | inlinevirtual |
| DECLARE_TYPEINFO(SymbolicBool, ScalarValue) (defined in P4::SymbolicBool) | P4::SymbolicBool | |
| 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::SymbolicBool) | P4::SymbolicBool | virtual |
| hasUninitializedParts() const override (defined in P4::ScalarValue) | P4::ScalarValue | inlinevirtual |
| id (defined in P4::SymbolicValue) | P4::SymbolicValue | |
| init(bool uninit) (defined in P4::ScalarValue) | P4::ScalarValue | inlinestatic |
| is() const noexcept | P4::RTTI::Base | inline |
| isA(TypeId typeId) const noexcept=0 | P4::RTTI::Base | pure virtual |
| isKnown() const (defined in P4::ScalarValue) | P4::ScalarValue | inline |
| isScalar() const override (defined in P4::ScalarValue) | P4::ScalarValue | inlinevirtual |
| isUninitialized() const (defined in P4::ScalarValue) | P4::ScalarValue | inline |
| isUnknown() const (defined in P4::ScalarValue) | P4::ScalarValue | inline |
| merge(const SymbolicValue *other) override (defined in P4::SymbolicBool) | P4::SymbolicBool | virtual |
| mergeState(ValueState other) const (defined in P4::ScalarValue) | P4::ScalarValue | inline |
| print() const (defined in P4::IHasDbPrint) | P4::IHasDbPrint | |
| ScalarValue(ScalarValue::ValueState state, const IR::Type *type) (defined in P4::ScalarValue) | P4::ScalarValue | inlineprotected |
| setAllUnknown() override (defined in P4::ScalarValue) | P4::ScalarValue | inlinevirtual |
| state (defined in P4::ScalarValue) | P4::ScalarValue | |
| SymbolicBool(ScalarValue::ValueState state) (defined in P4::SymbolicBool) | P4::SymbolicBool | inlineexplicit |
| SymbolicBool() (defined in P4::SymbolicBool) | P4::SymbolicBool | inline |
| SymbolicBool(const IR::BoolLiteral *constant) (defined in P4::SymbolicBool) | P4::SymbolicBool | inlineexplicit |
| SymbolicBool(const SymbolicBool &other)=default (defined in P4::SymbolicBool) | P4::SymbolicBool | |
| SymbolicBool(bool value) (defined in P4::SymbolicBool) | P4::SymbolicBool | inlineexplicit |
| 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 |
| value (defined in P4::SymbolicBool) | P4::SymbolicBool | |
| ValueState enum name (defined in P4::ScalarValue) | P4::ScalarValue | |
| ~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 |
1.12.0