propositional_variable.h File Reference

The classes propositional_variable and propositional_variable_instantiation. 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
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Typedefs
typedef atermpp::term_list< propositional_variable >	mcrl2::pbes_system::propositional_variable_list
	\brief list of propositional_variables
typedef std::vector< propositional_variable >	mcrl2::pbes_system::propositional_variable_vector
	\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 propositional_variable &x)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const propositional_variable &x)
void	mcrl2::pbes_system::swap (propositional_variable &t1, propositional_variable &t2)
	\brief swap overload
std::string	mcrl2::pbes_system::pp (const propositional_variable_list &x)
std::string	mcrl2::pbes_system::pp (const propositional_variable_vector &x)

Detailed Description

The classes propositional_variable and propositional_variable_instantiation.

Definition in file propositional_variable.h.