mcrl2::action_formulas::detail Namespace Reference

Classes
struct	action_formula_actions
struct	add_capture_avoiding_replacement
struct	add_capture_avoiding_replacement_with_an_identifier_generator
struct	printer
struct	typecheck_builder

Functions
action_formula	parse_action_formula (const std::string &text)
typecheck_builder	make_typecheck_builder (data::data_type_checker &data_typechecker, const data::detail::variable_context &variables, const process::detail::action_context &actions)

Function Documentation

make_typecheck_builder()

typecheck_builder mcrl2::action_formulas::detail::make_typecheck_builder ( data::data_type_checker &  data_typechecker, const data::detail::variable_context &  variables, const process::detail::action_context &  actions  )

inline

Definition at line 131 of file typecheck.h.

parse_action_formula()

action_formula mcrl2::action_formulas::detail::parse_action_formula

(

const std::string &

text

)

Definition at line 43 of file modal_formula.cpp.