mCRL2
Loading...
Searching...
No Matches
mcrl2::core::term_traits< pbes_system::pbes_expression > Member List

This is the complete list of members for mcrl2::core::term_traits< pbes_system::pbes_expression >, including all inherited members.

and_(const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
data_term_sequence_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
data_term_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
exists(const variable_sequence_type &l, const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
false_()mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
forall(const variable_sequence_type &l, const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
imp(const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_and(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_data(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_exists(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_false(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_forall(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_imp(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_not(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_or(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_prop_var(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_true(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
is_variable(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
join_and(FwdIt first, FwdIt last)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
join_or(FwdIt first, FwdIt last)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
left(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_and_(term_type &result, const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_exists(term_type &result, const variable_sequence_type &l, const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_forall(term_type &result, const variable_sequence_type &l, const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_imp(term_type &result, const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_not_(term_type &result, const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
make_or_(term_type &result, const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
name(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
not_(const term_type &p)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
not_arg(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
or_(const term_type &p, const term_type &q)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
param(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
pp(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
propositional_variable_decl_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
propositional_variable_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
right(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
string_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
term_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
true_()mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
var(const term_type &t)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
variable2term(const variable_type &v)mcrl2::core::term_traits< pbes_system::pbes_expression >inlinestatic
variable_sequence_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >
variable_type typedefmcrl2::core::term_traits< pbes_system::pbes_expression >