mcrl2/bes/pbesinst_conversion.h

Include file:

#include "mcrl2/bes/pbesinst_conversion.h"

add your file description here.

Functions

bes::boolean_equation_system mcrl2::bes::pbesinst_conversion(const pbes_system::pbes &p)

Converts a PBES into a BES.

Parameters:

  • p A PBES

Pre: The PBES must be a BES

bes::boolean_equation mcrl2::bes::pbesinst_conversion(const pbes_system::pbes_equation &eq)

Converts a PBES equation into a boolean equation.

Parameters:

  • eq A PBES equation
bes::boolean_expression mcrl2::bes::pbesinst_conversion(const pbes_system::pbes_expression &x)

Converts a PBES expression into a boolean expression.

Parameters:

  • x A PBES expression
bes::boolean_variable mcrl2::bes::pbesinst_conversion(const pbes_system::propositional_variable_instantiation &v)

Converts a propositional variable into a boolean variable.

Parameters:

  • v A propositional variable