mcrl2::lts::detail::bisim_gjkw::B_to_C_entry Class Reference

#include <liblts_bisim_gjkw.h>

Public Attributes
pred_iter_t	pred
B_to_C_desc_iter_t	B_to_C_slice

Detailed Description

Definition at line 1312 of file liblts_bisim_gjkw.h.

---

The documentation for this class was generated from the following file:

• lts/include/mcrl2/lts/detail/liblts_bisim_gjkw.h