mCRL2
Loading...
Searching...
No Matches
mcrl2::pres_system::pres Member List

This is the complete list of members for mcrl2::pres_system::pres, including all inherited members.

binding_variables() constmcrl2::pres_system::presinline
compute_declared_variables() constmcrl2::pres_system::presinlineprotected
data() constmcrl2::pres_system::presinline
equation_type typedefmcrl2::pres_system::pres
equations() constmcrl2::pres_system::presinline
equations()mcrl2::pres_system::presinline
global_variables() constmcrl2::pres_system::presinline
global_variables()mcrl2::pres_system::presinline
initial_state() constmcrl2::pres_system::presinline
initial_state()mcrl2::pres_system::presinline
is_closed() constmcrl2::pres_system::presinline
is_declared_in(Iter first, Iter last, const propositional_variable_instantiation &v, const data::data_specification &data_spec) constmcrl2::pres_system::presinlineprotected
is_well_typed() constmcrl2::pres_system::presinline
m_datamcrl2::pres_system::presprotected
m_equationsmcrl2::pres_system::presprotected
m_global_variablesmcrl2::pres_system::presprotected
m_initial_statemcrl2::pres_system::presprotected
occurring_variable_instantiations() constmcrl2::pres_system::pres
occurring_variables() constmcrl2::pres_system::presinline
pres()=defaultmcrl2::pres_system::pres
pres(data::data_specification const &data, const std::vector< pres_equation > &equations, propositional_variable_instantiation initial_state)mcrl2::pres_system::presinline
pres(data::data_specification const &data, const std::set< data::variable > &global_variables, const std::vector< pres_equation > &equations, propositional_variable_instantiation initial_state)mcrl2::pres_system::presinline
set_data(const data::data_specification &d)mcrl2::pres_system::presinline