Collaboration diagram for sns::Add::partition:
Public Attributes | |
| GShom | F |
| Gset_t | G |
| const _GShom * | L |
| bool | has_local |
Member Data Documentation
◆ F
| GShom sns::Add::partition::F |
Referenced by sns::RecFireSat::eval(), sns::Fixpoint::eval(), sns::Fixpoint::has_image(), and sns::Add::skip_variable().
◆ G
| Gset_t sns::Add::partition::G |
Referenced by sns::RecFireSat::eval(), sns::Fixpoint::eval(), and sns::Add::skip_variable().
◆ has_local
| bool sns::Add::partition::has_local |
Referenced by sns::RecFireSat::eval(), sns::Fixpoint::eval(), sns::Fixpoint::has_image(), and sns::Add::skip_variable().
◆ L
| const _GShom* sns::Add::partition::L |
Referenced by sns::RecFireSat::eval(), sns::Fixpoint::eval(), sns::Fixpoint::has_image(), and sns::Add::skip_variable().
The documentation for this struct was generated from the following file:
