12#ifndef MCRL2_PBES_UNTYPED_PBES_H
13#define MCRL2_PBES_UNTYPED_PBES_H
20namespace pbes_system {
const_iterator end() const
Returns a const_iterator pointing to the end of the term_list.
const_iterator begin() const
Returns a const_iterator pointing to the beginning of the term_list.
parameterized boolean equation system
const data::data_specification & data() const
Returns the data specification.
const propositional_variable_instantiation & initial_state() const
Returns the initial state.
const std::set< data::variable > & global_variables() const
Returns the declared free variables of the pbes.
const std::vector< pbes_equation > & equations() const
Returns the equations.
\brief A propositional variable instantiation
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
data_specification construct_data_specification() const
std::vector< pbes_equation > equations
data::untyped_data_specification dataspec
data::variable_list global_variables
propositional_variable_instantiation initial_state
pbes construct_pbes() const
add your file description here.