mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::pbes_system::pg_actions Struct Reference

#include <pg_parse.h>

Inheritance diagram for mcrl2::pbes_system::pg_actions:
mcrl2::core::default_parser_actions mcrl2::core::parser_actions

Public Member Functions

 pg_actions (const core::parser &parser_)
 
template<typename T , typename Function >
std::set< T > parse_set (const core::parse_node &node, const std::string &type, Function f)
 
void create_boolean_equation_system (pbes &b, bool maxpg)
 
void parse_ParityGame (const core::parse_node &node, pbes &result, bool maxpg)
 
void parse_NodeSpec (const core::parse_node &node)
 
void parse_NodeSpecList (const core::parse_node &node)
 
identifier_t parse_Id (const core::parse_node &node)
 
priority_t parse_Priority (const core::parse_node &node)
 
bool parse_Owner (const core::parse_node &node)
 
std::set< identifier_t > parse_Successors (const core::parse_node &node)
 
template<typename T >
T parse_Number (const core::parse_node &node)
 
- Public Member Functions inherited from mcrl2::core::default_parser_actions
 default_parser_actions (const parser &parser_)
 
template<typename T , typename Function >
atermpp::term_list< T > parse_list (const parse_node &node, const std::string &type, const Function &f) const
 
template<typename T , typename Function >
std::vector< T > parse_vector (const parse_node &node, const std::string &type, const Function &f) const
 
core::identifier_string parse_Id (const parse_node &node) const
 
core::identifier_string parse_Number (const parse_node &node) const
 
core::identifier_string_list parse_IdList (const parse_node &node) const
 
- Public Member Functions inherited from mcrl2::core::parser_actions
 parser_actions (const parser &parser_)
 
template<typename Function >
void traverse (const parse_node &node, const Function &f) const
 
template<typename Function >
visitor< Function > make_visitor (const parser_table &table, const std::string &type, const Function &f) const
 
template<typename Container , typename Function >
collector< Container, Function > make_collector (const parser_table &table, const std::string &type, Container &container, const Function &f) const
 
template<typename SetContainer , typename Function >
set_collector< SetContainer, Function > make_set_collector (const parser_table &table, const std::string &type, SetContainer &container, const Function &f) const
 
std::string symbol_name (const parse_node &node) const
 

Public Attributes

std::map< identifier_t, node_t > game
 
identifier_t initial_node
 
- Public Attributes inherited from mcrl2::core::parser_actions
const parser & m_parser
 

Detailed Description

Definition at line 74 of file pg_parse.h.

Constructor & Destructor Documentation

◆ pg_actions()

mcrl2::pbes_system::pg_actions::pg_actions ( const core::parser &  parser_)
inline

Definition at line 80 of file pg_parse.h.

Member Function Documentation

◆ create_boolean_equation_system()

void mcrl2::pbes_system::pg_actions::create_boolean_equation_system ( pbes &  b,
bool  maxpg 
)
inline

Definition at line 93 of file pg_parse.h.

◆ parse_Id()

identifier_t mcrl2::pbes_system::pg_actions::parse_Id ( const core::parse_node &  node)
inline

Definition at line 174 of file pg_parse.h.

◆ parse_NodeSpec()

void mcrl2::pbes_system::pg_actions::parse_NodeSpec ( const core::parse_node &  node)
inline

Definition at line 155 of file pg_parse.h.

◆ parse_NodeSpecList()

void mcrl2::pbes_system::pg_actions::parse_NodeSpecList ( const core::parse_node &  node)
inline

Definition at line 169 of file pg_parse.h.

◆ parse_Number()

template<typename T >
T mcrl2::pbes_system::pg_actions::parse_Number ( const core::parse_node &  node)
inline

Definition at line 197 of file pg_parse.h.

◆ parse_Owner()

bool mcrl2::pbes_system::pg_actions::parse_Owner ( const core::parse_node &  node)
inline

Definition at line 184 of file pg_parse.h.

◆ parse_ParityGame()

void mcrl2::pbes_system::pg_actions::parse_ParityGame ( const core::parse_node &  node,
pbes &  result,
bool  maxpg 
)
inline

Definition at line 138 of file pg_parse.h.

◆ parse_Priority()

priority_t mcrl2::pbes_system::pg_actions::parse_Priority ( const core::parse_node &  node)
inline

Definition at line 179 of file pg_parse.h.

◆ parse_set()

template<typename T , typename Function >
std::set< T > mcrl2::pbes_system::pg_actions::parse_set ( const core::parse_node &  node,
const std::string &  type,
Function  f 
)
inline

Definition at line 86 of file pg_parse.h.

◆ parse_Successors()

std::set< identifier_t > mcrl2::pbes_system::pg_actions::parse_Successors ( const core::parse_node &  node)
inline

Definition at line 189 of file pg_parse.h.

Member Data Documentation

◆ game

std::map<identifier_t, node_t> mcrl2::pbes_system::pg_actions::game

Definition at line 77 of file pg_parse.h.

◆ initial_node

identifier_t mcrl2::pbes_system::pg_actions::initial_node

Definition at line 78 of file pg_parse.h.

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