|
| typecheck_builder (data::data_type_checker &data_typechecker, const data::detail::variable_context &variables, const process::detail::action_context &actions) |
|
data::data_expression | make_fbag_union (const data::data_expression &left, const data::data_expression &right) |
|
data::data_expression | make_bag_union (const data::data_expression &left, const data::data_expression &right) |
|
data::data_expression | make_fset_union (const data::data_expression &left, const data::data_expression &right) |
|
data::data_expression | make_set_union (const data::data_expression &left, const data::data_expression &right) |
|
data::data_expression | make_plus (const data::data_expression &left, const data::data_expression &right) |
|
data::data_expression | make_element_at (const data::data_expression &left, const data::data_expression &right) const |
|
template<class T > |
void | apply (T &result, const regular_formulas::untyped_regular_formula &x) |
|
void | apply (regular_formula &result, const action_formulas::action_formula &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::seq &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::alt &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::trans &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::trans_or_nil &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::untyped_regular_formula &x) |
|
template<class T > |
void | apply (T &result, const regular_formulas::regular_formula &x) |
|
Definition at line 173 of file typecheck.h.