mcrl2/bes/bes2pbes.h¶
Include file:
#include "mcrl2/bes/bes2pbes.h"
Contains functions to transfrom a BES into a PBES.
Functions¶
-
pbes_system::pbes_equation
mcrl2::bes::bes2pbes(const boolean_equation &eq)¶ Converts a boolean equation into a PBES equation.
Parameters:
- eq A boolean equation
-
pbes_system::pbes
mcrl2::bes::bes2pbes(const boolean_equation_system &x)¶ Converts a BES into a PBES.
Parameters:
- x A boolean expression
-
pbes_system::pbes_expression
mcrl2::bes::bes2pbes(const boolean_expression &x)¶ Converts a boolean expression into a PBES expression.
Parameters:
- x A boolean expression
-
pbes_system::propositional_variable_instantiation
mcrl2::bes::bes2pbes(const boolean_variable &v)¶ Converts a boolean variable into a propositional variable.
Parameters:
- v A boolean variable
