mcrl2/lps/typecheck.h

Include file:

#include "mcrl2/lps/typecheck.h"

add your file description here.

Functions

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.

Parameters:

  • arspec An action rename specifition.
  • lpsspec A linear process specification, used for the datatypes and action declarations.

Returns: A type checked rename specification.

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.

Parameters:

  • mult_act A multi action that has not been type checked.
  • data_spec A data specification to use as context.
  • action_decls A list of action declarations to use as context.

Post: mult_action is type checked and sorts have been added when necessary.

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.

Parameters:

  • mult_act A multi action that has not been type checked.
  • typechecker Checker that will be used to check multi_act

Post: mult_action is type checked and sorts have been added when necessary.