mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::cs_game_move Struct Reference

#include <liblts_coupledsim.h>

Public Member Functions

 cs_game_move (cs_game_node _from, cs_game_node _to, std::size_t _act, std::string _label_of_action, bool _weak=false)
 

Public Attributes

cs_game_node from
 
cs_game_node to
 
std::size_t act
 
std::string label_of_action
 
bool weak
 

Detailed Description

Definition at line 59 of file liblts_coupledsim.h.

Constructor & Destructor Documentation

◆ cs_game_move()

mcrl2::lts::detail::cs_game_move::cs_game_move ( cs_game_node  _from,
cs_game_node  _to,
std::size_t  _act,
std::string  _label_of_action,
bool  _weak = false 
)
inline

Definition at line 61 of file liblts_coupledsim.h.

Member Data Documentation

◆ act

std::size_t mcrl2::lts::detail::cs_game_move::act

Definition at line 71 of file liblts_coupledsim.h.

◆ from

cs_game_node mcrl2::lts::detail::cs_game_move::from

Definition at line 70 of file liblts_coupledsim.h.

◆ label_of_action

std::string mcrl2::lts::detail::cs_game_move::label_of_action

Definition at line 72 of file liblts_coupledsim.h.

◆ to

cs_game_node mcrl2::lts::detail::cs_game_move::to

Definition at line 70 of file liblts_coupledsim.h.

◆ weak

bool mcrl2::lts::detail::cs_game_move::weak

Definition at line 73 of file liblts_coupledsim.h.


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