#include <parse_impl.h>

Inheritance diagram for mcrl2::state_formulas::detail::untyped_state_formula_specification:

Public Member Functions
state_formula_specification	construct_state_formula_specification ()

Public Member Functions inherited from mcrl2::data::untyped_data_specification
void	add_sort (const basic_sort &x)

void	add_alias (const alias &x)

void	add_constructor (const function_symbol &x)

void	add_mapping (const function_symbol &x)

void	add_equation (const data_equation &x)

data_specification	construct_data_specification () const

Public Attributes
process::action_label_list	action_labels

state_formula	formula

Public Attributes inherited from mcrl2::data::untyped_data_specification
std::vector< basic_sort >	basic_sorts

std::vector< alias >	aliases

std::vector< function_symbol >	constructors

std::vector< function_symbol >	mappings

std::vector< data_equation >	equations

Detailed Description

Definition at line 91 of file parse_impl.h.

Member Function Documentation

state_formula_specification mcrl2::state_formulas::detail::untyped_state_formula_specification::construct_state_formula_specification ( )

inline

Definition at line 96 of file parse_impl.h.

process::action_label_list mcrl2::state_formulas::detail::untyped_state_formula_specification::action_labels

Definition at line 93 of file parse_impl.h.

state_formula mcrl2::state_formulas::detail::untyped_state_formula_specification::formula

Definition at line 94 of file parse_impl.h.

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