mcrl2::lts::detail::cs_game_node Struct Reference

#include <liblts_coupledsim.h>

Public Attributes
unsigned char	flag
std::size_t	act
std::size_t	p
std::size_t	q
bool	swapped

Detailed Description

Definition at line 50 of file liblts_coupledsim.h.

Member Data Documentation

act

std::size_t mcrl2::lts::detail::cs_game_node::act

Definition at line 53 of file liblts_coupledsim.h.

flag

unsigned char mcrl2::lts::detail::cs_game_node::flag

Definition at line 52 of file liblts_coupledsim.h.

p

std::size_t mcrl2::lts::detail::cs_game_node::p

Definition at line 54 of file liblts_coupledsim.h.

q

std::size_t mcrl2::lts::detail::cs_game_node::q

Definition at line 54 of file liblts_coupledsim.h.

swapped

bool mcrl2::lts::detail::cs_game_node::swapped

Definition at line 55 of file liblts_coupledsim.h.

---

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

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