Classes
struct	add_capture_avoiding_replacement

struct	add_capture_avoiding_replacement_with_an_identifier_generator

struct	printer

struct	regular_formula_actions

struct	typecheck_builder

Functions
regular_formula	parse_regular_formula (const std::string &text)

template<template< class > class Builder, class Substitution , class IdentifierGenerator >
add_capture_avoiding_replacement_with_an_identifier_generator< Builder, class Derived, Substitution, IdentifierGenerator >	make_add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator)

mcrl2::state_formulas::state_formula	translate_reg_frms (const mcrl2::state_formulas::state_formula &state_frm)
	Translate regular formulas in terms of state and action formulas.

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

state_formula	translate_reg_frms_appl (state_formula part, xyz_identifier_generator &xyz_generator)

Function Documentation

◆ make_add_capture_avoiding_replacement_with_an_identifier_generator()

template<template< class > class Builder, class Substitution , class IdentifierGenerator >

add_capture_avoiding_replacement_with_an_identifier_generator< Builder, class Derived, Substitution, IdentifierGenerator > mcrl2::regular_formulas::detail::make_add_capture_avoiding_replacement_with_an_identifier_generator	(	Substitution &	sigma,
		IdentifierGenerator &	id_generator
	)

typecheck_builder mcrl2::regular_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 303 of file typecheck.h.

regular_formula mcrl2::regular_formulas::detail::parse_regular_formula ( const std::string & text )

Definition at line 73 of file modal_formula.cpp.

state_formula mcrl2::regular_formulas::detail::translate_reg_frms ( const mcrl2::state_formulas::state_formula & state_frm )

Translate regular formulas in terms of state and action formulas.

Parameters

[in] state_frm An aterm representation of a state formula according to the internal aterm structure after the data implementation phase.

Returns: state_frm in which all regular formulas are translated in terms of state and action formulas.

Definition at line 40 of file regfrmtrans.cpp.

state_formula mcrl2::regular_formulas::detail::translate_reg_frms_appl	(	state_formula	part,
		xyz_identifier_generator &	xyz_generator
	)

inline

Definition at line 46 of file regfrmtrans.cpp.