propositional_variable.h File Reference

The class propositional_variable. More...

Go to the source code of this file.

Classes
class	mcrl2::pbes_system::propositional_variable
	\brief A propositional variable declaration More...

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Typedefs
using	mcrl2::pbes_system::propositional_variable_list = atermpp::term_list< propositional_variable >
	\brief list of propositional_variables
using	mcrl2::pbes_system::propositional_variable_vector = std::vector< propositional_variable >
	\brief vector of propositional_variables

Functions
template<class... ARGUMENTS>
void	mcrl2::pbes_system::make_propositional_variable (atermpp::aterm &t, const ARGUMENTS &... args)
bool	mcrl2::pbes_system::is_propositional_variable (const atermpp::aterm &x)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable &x, bool arg0)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const propositional_variable &x)
void	mcrl2::pbes_system::swap (propositional_variable &t1, propositional_variable &t2) noexcept
	\brief swap overload
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_list &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_vector &x, bool arg0)

Detailed Description

The class propositional_variable.

Definition in file propositional_variable.h.