![]() |
MySQL 8.0.43
Source Code Documentation
|
Public Types | |
| enum | { INTERESTING , ARTIFICIAL , DELETED } |
Public Attributes | |
| enum LogicalOrderings::NFSMState:: { ... } | type |
| Mem_root_array< NFSMEdge > | outgoing_edges |
| Ordering | satisfied_ordering |
| int | satisfied_ordering_idx |
| std::bitset< kMaxSupportedOrderings > | can_reach_interesting_order {0} |
| int | seen = 0 |
| std::bitset<kMaxSupportedOrderings> LogicalOrderings::NFSMState::can_reach_interesting_order {0} |
| Mem_root_array<NFSMEdge> LogicalOrderings::NFSMState::outgoing_edges |
| Ordering LogicalOrderings::NFSMState::satisfied_ordering |
| int LogicalOrderings::NFSMState::satisfied_ordering_idx |
| int LogicalOrderings::NFSMState::seen = 0 |
| enum { ... } LogicalOrderings::NFSMState::type |