typecheck.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::lps::multi_action_type_checker
class	mcrl2::lps::action_rename_type_checker

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.

Functions
multi_action	mcrl2::lps::typecheck_multi_action (process::untyped_multi_action &mult_act, const data::data_specification &data_spec, const process::action_label_list &action_decls)
	Type check a multi action Throws an exception if something went wrong.
multi_action	mcrl2::lps::typecheck_multi_action (process::untyped_multi_action &mult_act, multi_action_type_checker &typechecker)
	Type check a multi action Throws an exception if something went wrong.
action_rename_specification	mcrl2::lps::typecheck_action_rename_specification (const action_rename_specification &arspec, const lps::stochastic_specification &lpsspec)
	Type checks an action rename specification.

Detailed Description

add your file description here.

Definition in file typecheck.h.